[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/ |
^^-^^ `------------------------------------------------'
|