_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;