From: <jer...@u-...> - 2003-02-18 09:05:33
|
Le mardi, 18 f=E9v 2003, =E0 01:30 Europe/Zurich, Paul Tepper a =E9crit = : >> This menu is intentionnally greyed out (This is an inconsistency in=20= >> the=3D20=3D >> >> UI, i will try to fix it) >> instead you must use the Font button in the source attribute pref=20 >> pane=3D20=3D >> >> to make the font panel appear > > I don't have a font button there. Underneath the pulldown menu=20 > containing the different types of TeX syntax that get colored, I just=20= > have a text display that says > > Font: <fontname> > Size: <size> > Color: <box w/color displayed> > > Ok I got it, the window is too small, you must enlarge it... Fixed |