#include <gtk/gtk.h>
#include "editor.h"
#include "editgui_g.h"
Go to the source code of this file.
◆ editgui_create_widgets()
Create all editor GUI widgets.
Definition at line 1822 of file editgui.c.
◆ editgui_free()
Free everything allocated for the editgui.
Definition at line 1835 of file editgui.c.
◆ editgui_get_editbar()
Get the pointer for the editbar embedded in the client's GUI.
Definition at line 1788 of file editgui.c.
◆ editgui_get_editinfobox()
Return a pointer to the editor info box embedded in the client's GUI.
Definition at line 1853 of file editgui.c.
◆ handle_edit_key_press()
Handle any kind of key press event.
Definition at line 1672 of file editgui.c.
◆ handle_edit_mouse_button_press()
Pass on the gdk mouse event to the editor's handler.
Definition at line 924 of file editgui.c.
◆ handle_edit_mouse_button_release()
Pass on the gdk mouse event to the editor's handler.
Definition at line 941 of file editgui.c.
◆ handle_edit_mouse_move()
Pass on the gdk mouse event to the editor's handler.
Definition at line 957 of file editgui.c.