diff options
author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-12-04 17:29:01 +0100 |
---|---|---|
committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-12-04 22:07:08 +0100 |
commit | d8a316514c03d85b771a9dce4a8a51b875d955b3 (patch) | |
tree | 8966c29db767a155848f6d90f76771ce5b9de32e /interface-gtk.h | |
parent | b120616b6da52e951097f69ad267de06081d218a (diff) | |
download | sciteco-d8a316514c03d85b771a9dce4a8a51b875d955b3.tar.gz |
autoconf preparation: move everything into src/ subdir
Diffstat (limited to 'interface-gtk.h')
-rw-r--r-- | interface-gtk.h | 73 |
1 files changed, 0 insertions, 73 deletions
diff --git a/interface-gtk.h b/interface-gtk.h deleted file mode 100644 index b46f821..0000000 --- a/interface-gtk.h +++ /dev/null @@ -1,73 +0,0 @@ -#ifndef __INTERFACE_GTK_H -#define __INTERFACE_GTK_H - -#include <stdarg.h> - -#include <glib.h> -#include <gtk/gtk.h> - -#include <Scintilla.h> -#include <ScintillaWidget.h> - -#include "interface.h" - -extern class InterfaceGtk : public Interface { - GtkWidget *window; - GtkWidget *editor_widget; - GtkWidget *cmdline_widget; - GtkWidget *info_widget, *message_widget; - - GtkWidget *popup_widget; - -public: - InterfaceGtk(); - ~InterfaceGtk(); - - inline GOptionGroup * - get_options(void) - { - return gtk_get_option_group(TRUE); - } - inline void - parse_args(int &argc, char **&argv) - { - gtk_parse_args(&argc, &argv); - } - - void vmsg(MessageType type, const gchar *fmt, va_list ap); - void msg_clear(void); - - inline sptr_t - ssm(unsigned int iMessage, uptr_t wParam = 0, sptr_t lParam = 0) - { - return scintilla_send_message(SCINTILLA(editor_widget), - iMessage, wParam, lParam); - } - - void info_update(QRegister *reg); - void info_update(Buffer *buffer); - - void cmdline_update(const gchar *cmdline = NULL); - - void popup_add(PopupEntryType type, - const gchar *name, bool highlight = false); - inline void - popup_show(void) - { - gtk_widget_show(popup_widget); - } - void popup_clear(void); - - /* main entry point */ - inline void - event_loop(void) - { - gtk_widget_show_all(window); - gtk_main(); - } - -private: - static void widget_set_font(GtkWidget *widget, const gchar *font_name); -} interface; - -#endif |