mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-09-21 15:18:45 +00:00
1d7d3cc4af
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@329 a592a061-630c-0410-9148-cb99ea01b6c8
94 lines
1.8 KiB
C++
94 lines
1.8 KiB
C++
// -*- C++ -*-
|
|
#ifndef MINIBUFFER_H
|
|
#define MINIBUFFER_H
|
|
|
|
#include FORMS_H_LOCATION
|
|
#include "LString.h"
|
|
#include "gettext.h"
|
|
|
|
#ifdef __GNUG__
|
|
#pragma interface
|
|
#endif
|
|
|
|
class LyXView;
|
|
|
|
///
|
|
class MiniBuffer {
|
|
public:
|
|
///
|
|
MiniBuffer(LyXView *o, FL_Coord x, FL_Coord y, FL_Coord h, FL_Coord w)
|
|
: owner(o)
|
|
{
|
|
text = _("Welcome to LyX!");
|
|
shows_no_match = true;
|
|
history_idx = history_cnt = 0;
|
|
add(FL_NORMAL_INPUT, x, y, h, w);
|
|
}
|
|
///
|
|
bool shows_no_match;
|
|
///
|
|
void setTimer(int a) {
|
|
fl_set_timer(timer, a);
|
|
}
|
|
///
|
|
void Set(string const & = string(),
|
|
string const & = string(),
|
|
string const & = string(),
|
|
int delay_secs= 6);
|
|
///
|
|
string GetText() const { return text; }
|
|
///
|
|
void Init();
|
|
///
|
|
void ExecCommand();
|
|
/** allows to store and reset the contents one time. Usefull
|
|
for status messages like "load font" (Matthias)
|
|
*/
|
|
void Store();
|
|
///
|
|
void Reset();
|
|
///
|
|
void Activate();
|
|
///
|
|
void Deactivate();
|
|
///
|
|
static void ExecutingCB(FL_OBJECT *ob, long);
|
|
///
|
|
static void TimerCB(FL_OBJECT *ob, long);
|
|
///
|
|
static int peek_event(FL_OBJECT *, int, FL_Coord, FL_Coord,
|
|
int, void *);
|
|
private:
|
|
///
|
|
LyXView *owner;
|
|
///
|
|
string text;
|
|
///
|
|
string text_stored;
|
|
///
|
|
FL_OBJECT *add(int, FL_Coord, FL_Coord, FL_Coord, FL_Coord);
|
|
///
|
|
FL_OBJECT *timer;
|
|
///
|
|
FL_OBJECT *the_buffer;
|
|
///
|
|
string cur_cmd;
|
|
///
|
|
enum{ MAX_HISTORY = 10 };
|
|
///
|
|
string history[MAX_HISTORY];
|
|
///
|
|
int history_idx, history_cnt;
|
|
///
|
|
void addHistory(string const &cmd) {
|
|
if (history_cnt == 0 || (history_cnt>0 && cmd!= history[(history_cnt-1) % MAX_HISTORY])) {
|
|
history[history_cnt % MAX_HISTORY] = cmd;
|
|
history_cnt++;
|
|
}
|
|
history_idx = history_cnt;
|
|
}
|
|
///
|
|
string getHistory() { return history[history_idx % MAX_HISTORY]; }
|
|
};
|
|
#endif
|