FAQ
Hi there.

How to change font size in IDLE (Python 1.5.2 Linux version )



Thanks

Eugene Tsymbalov, Russia

Search Discussions

  • Bryan Mongeau at Feb 20, 2001 at 12:49 pm

    ujen wrote:

    Hi there.

    How to change font size in IDLE (Python 1.5.2 Linux version )



    Thanks

    Eugene Tsymbalov, Russia
    grep through the source code looking for the word "font". Once you find it,
    change it.
    --
    <==================================>
    Bryan Mongeau
    Lead Developer, Director
    eEvolved Real-Time Technologies Inc.
    http://www.eevolved.com
    <==================================>

    "Reality is merely an illusion, albeit a very persistent one."-- Einstein
  • Gillou at Feb 20, 2001 at 2:12 pm
    Yes... the default window font for idle is ugly and not legible with Linux

    Edit EditorWindow.py, search for this:
    -----
    ...
    if sys.platform[:3] == 'win':
    text['font'] = ("lucida console", 8)
    ...
    -----
    And change it against this:
    -----
    ...
    # if sys.platform[:3] == 'win': # Works with others than Windows
    text['font'] = ("lucidatypewriter", 12) # pretty with a 100 pix/inch
    display
    ...
    -----
    Test your new font setting for IDLE as "root" to have this effective (users
    have no write access to /usr/lib... so they use the "old" EditorWindow.pyc).

    That's all!

    "Bryan Mongeau" <bryan at eevolved.com> a ?crit dans le message news:
    uJtk6.284555$JT5.9794163 at news20.bellglobal.com...
    ujen wrote:
    Hi there.

    How to change font size in IDLE (Python 1.5.2 Linux version )



    Thanks

    Eugene Tsymbalov, Russia
    grep through the source code looking for the word "font". Once you find it,
    change it.
    --
    <==================================>
    Bryan Mongeau
    Lead Developer, Director
    eEvolved Real-Time Technologies Inc.
    http://www.eevolved.com
    <==================================>

    "Reality is merely an illusion, albeit a very persistent one."-- Einstein
  • Greg Jorgensen at Feb 21, 2001 at 7:57 am
    "ujen" <ujen at nino.ru> wrote in message
    news:01c09b23$99332380$3201a8c0 at ws9201...
    How to change font size in IDLE (Python 1.5.2 Linux version )
    Look in the file config.txt in the directory IDLE is in.

    --
    Greg Jorgensen
    PDXperts
    Portland, Oregon, USA
    gregj at pobox.com

Related Discussions

Discussion Navigation
viewthread | post
Discussion Overview
grouppython-list @
categoriespython
postedFeb 20, '01 at 9:57a
activeFeb 21, '01 at 7:57a
posts4
users4
websitepython.org

People

Translate

site design / logo © 2023 Grokbase