145 |
#ifndef NO_COPY_N_PASTE |
#ifndef NO_COPY_N_PASTE |
146 |
/* do enable/disable the edit entries */ |
/* do enable/disable the edit entries */ |
147 |
GtkWidget *menu_cut, *menu_copy, *menu_paste; |
GtkWidget *menu_cut, *menu_copy, *menu_paste; |
|
GtkClipboard *clipboard; /* clipboard for copy/paste */ |
|
148 |
GtkTextBuffer *active_buffer; |
GtkTextBuffer *active_buffer; |
149 |
#endif |
#endif |
150 |
|
|
151 |
|
GtkClipboard *clipboard; /* clipboard for copy/paste */ |
152 |
|
|
153 |
#ifdef USE_STACKABLE_WINDOW |
#ifdef USE_STACKABLE_WINDOW |
154 |
GtkWidget *export_menu, *tools_menu; |
GtkWidget *export_menu, *tools_menu; |
155 |
#endif |
#endif |