I needed the MenuBar in my modified editor.rb for the Agenda VR3 to have
smaller fonts:
<PATCH>
diff -c -2 -r1.17 flmenu.cc
*** flmenu.cc 2001/11/28 11:51:40 1.17
--- flmenu.cc 2001/11/30 09:23:33
***************
*** 17,20 ****
--- 17,21 ----
static FN_SET_INT_OPTINT(Menu_,mode);
static FN_GET_STR_SET_OPTINT(Menu_,text);
+ static FN_GETSET_INT(Menu_,textsize);
static FN_INIT2(Menu_, Fl_Widget::size, {
rb_ivar_set(self, rb_id_iitems, rb_ary_new());
***************
*** 143,146 ****
--- 144,148 ----
DEF_METHOD(Menu_,mode,-1);
DEF_METHOD(Menu_,text,-1);
+ DEF_METHOD_EQ(Menu_,textsize,-1);
#define DEF_MENUMODE(c) \
rb_define_const(rb_mFLTK, #c, INT2NUM(FL_##c))
</PATCH>
The textcolor and textfont method would probably be nice too, but then
again, perhaps YAGNI? (YAGNI = You Ain't Gonna Need It)
--
<[ Kent Dahl ]>================<[ http://www.stud.ntnu.no/~kentda/ ]>
)____(stud.techn.;ind.øk.data)||(softwareDeveloper.at(Trustix))_(
/"Opinions expressed are mine and not those of my Employer, "\
( "the University, my girlfriend, stray cats, banana fruitflies, " )
\"nor the frontal lobe of my left cerebral hemisphere. "/
|
