aboutsummaryrefslogtreecommitdiffhomepage
path: root/interface-gtk.h
diff options
context:
space:
mode:
authorRobin Haberkorn <robin.haberkorn@googlemail.com>2012-12-04 17:29:01 +0100
committerRobin Haberkorn <robin.haberkorn@googlemail.com>2012-12-04 22:07:08 +0100
commitd8a316514c03d85b771a9dce4a8a51b875d955b3 (patch)
tree8966c29db767a155848f6d90f76771ce5b9de32e /interface-gtk.h
parentb120616b6da52e951097f69ad267de06081d218a (diff)
downloadsciteco-d8a316514c03d85b771a9dce4a8a51b875d955b3.tar.gz
autoconf preparation: move everything into src/ subdir
Diffstat (limited to 'interface-gtk.h')
-rw-r--r--interface-gtk.h73
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