[Boa Constr] Re: the Editor
Status: Beta
Brought to you by:
riaan
From: <db...@in...> - 2000-03-20 14:06:27
|
Hello, On 17 Mar, Riaan Booysen wrote: | > Is it possible to change the font use in the Editor ? | In line 278 of EditorView.py change | self.SetFont(wxFont(9, wxMODERN, wxNORMAL, wxNORMAL, false)) | to whatever you prefer. | To change the font of the Shell page, in line 125 of Editor.py, change | self.SetFont(wxFont(9, wxMODERN, wxNORMAL, wxNORMAL, false)) | to what you want. Oki. But is it possible to specify a specific font :o). I mean in my xterminal I got: -misc-fixed-medium-r-semicondensed-*-*-120-*-*-c-*-iso8859-1 Is it possible to specify this font ? I'm under Linux RH 6.0 :o) with wx* 2.13 -- .------------------------------------------------. .^. | Didier Bretin, France | db...@in... | /V\ |-----------------------| www.informactis.com | // \\ | `------------------------| /( )\ | Visit: http://www.multimania.com/cieexcalibur/ | ^^-^^ `------------------------------------------------' |