_menu_height      116 gui/fltk/fltk.cpp         if (!_xid && event_y() < static_cast<int>(_menu_height)) {
_menu_height      119 gui/fltk/fltk.cpp         notifyMouseMove(event_x(), event_y()-_menu_height);
_menu_height      235 gui/fltk/fltk.cpp     resize(width, _menu_height + height);
_menu_height      242 gui/fltk/fltk.cpp       MenuBar* menubar = new MenuBar(0, 0, width, _menu_height);
_menu_height      248 gui/fltk/fltk.cpp     _glue = new FltkAggGlue(0, _menu_height, width, height);
_menu_height      422 gui/fltk/fltk.cpp       _glue->resize(w(), h() - _menu_height);
_menu_height      423 gui/fltk/fltk.cpp       resize_view(w(), h() - _menu_height);
_menu_height       73 gui/fltk/fltksup.h     unsigned int _menu_height;