Searched refs:editorbox (Results 1 – 3 of 3) sorted by relevance
| /dports/editors/gummi/gummi-0.8.1/src/gui/ |
| H A D | gui-tabmanager.c | 69 tp->editorbox = gtk_box_new (GTK_ORIENTATION_VERTICAL, 0); in tabmanagergui_create_page()
71 gtk_box_pack_start (GTK_BOX (tp->editorbox), tp->infobar, FALSE, FALSE, 0); in tabmanagergui_create_page()
72 gtk_box_pack_end (GTK_BOX (tp->editorbox), tp->scrollw, TRUE, TRUE, 0); in tabmanagergui_create_page()
75 tp->editorbox, GTK_WIDGET (tp->labelbox)); in tabmanagergui_create_page()
77 gtk_widget_show_all (tp->editorbox); in tabmanagergui_create_page()
162 gummi->tabmanager->active_tab->page->editorbox); in tabmanagergui_replace_page()
|
| H A D | gui-tabmanager.h | 46 GtkWidget* editorbox; member
|
| /dports/games/golly/golly-3.3-src/gui-wx/ |
| H A D | wxprefs.cpp | 3369 wxStaticText* editorbox = new wxStaticText(panel, PREF_EDITOR_BOX, texteditor); in CreateFilePrefs() local
3378 hebox->Add(editorbox, 0, wxLEFT | wxALIGN_CENTER_VERTICAL, LRGAP); in CreateFilePrefs()
4382 wxStaticText* editorbox = (wxStaticText*) FindWindowById(PREF_EDITOR_BOX); in OnButton() local
4383 if (editorbox) { in OnButton()
4384 editorbox->SetLabel(neweditor); in OnButton()
|