diff options
| author | Matthias Melcher <github@matthiasm.com> | 2023-01-21 17:14:41 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-21 17:14:41 +0100 |
| commit | 1fc269b0d4c79b256cc57740d318f95dded8c340 (patch) | |
| tree | 5df94f8cb7f4e8629dbce7a36f070ea5b513d5d7 /fluid/alignment_panel.h | |
| parent | 4ddcbc81de60faa0e9922db7df316f3d69cb8df7 (diff) | |
Move global FLTK options into new app fltk-admin (#560)
Diffstat (limited to 'fluid/alignment_panel.h')
| -rw-r--r-- | fluid/alignment_panel.h | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/fluid/alignment_panel.h b/fluid/alignment_panel.h index 845260289..577648a94 100644 --- a/fluid/alignment_panel.h +++ b/fluid/alignment_panel.h @@ -105,25 +105,4 @@ extern Fl_Check_Button *guides_toggle; extern void default_widget_size_cb(Fl_Round_Button*, long); extern Fl_Round_Button *def_widget_size[6]; Fl_Double_Window* make_layout_window(); -void show_global_settings_window(); -extern Fl_Double_Window *global_settings_window; -extern Fl_Choice *wVisibleFocus; -extern Fl_Choice *wArrowFocus; -extern Fl_Choice *wShowTooltips; -extern Fl_Choice *wDNDText; -extern Fl_Choice *wGTKText; -extern Fl_Choice *wUseZenity; -extern Fl_Choice *wPrintGTKText; -extern Fl_Choice *wShowZoomFactor; -extern Fl_Choice *wUserOrSystem; -Fl_Double_Window* make_global_settings_window(); -extern Fl_Menu_Item menu_wVisibleFocus[]; -extern Fl_Menu_Item menu_wArrowFocus[]; -extern Fl_Menu_Item menu_wShowTooltips[]; -extern Fl_Menu_Item menu_wDNDText[]; -extern Fl_Menu_Item menu_wGTKText[]; -extern Fl_Menu_Item menu_wUseZenity[]; -extern Fl_Menu_Item menu_wPrintGTKText[]; -extern Fl_Menu_Item menu_wShowZoomFactor[]; -extern Fl_Menu_Item menu_wUserOrSystem[]; #endif |