#5 Add font preferences...

General
closed
Colin Bell
General (118)
5
2001-12-20
2001-10-01
Jason Swartz
No

It would be helpful to be able to set the font used in
SQL input, text output and table output. For table
output I would prefer to have a much smaller font than
the default, which appears to be Sans Serif 12.

Discussion

  • Colin Bell
    Colin Bell
    2001-10-18

    Logged In: YES
    user_id=233132

    A task 40573 has been added for this request and should be
    incorporated in version 1.1

     
  • Colin Bell
    Colin Bell
    2001-10-18

    • assigned_to: nobody --> colbell
     
  • Colin Bell
    Colin Bell
    2001-12-20

    Logged In: YES
    user_id=233132

    This functionality has been added to the Look and Feel
    plugin and will be available in version 1.1

    If you want to have a look at it now you can build from CVS.
    The module that you will want is /squirrel-sql. Just note
    that the code in CVS is very much alpha quality.

    Col

     
  • Colin Bell
    Colin Bell
    2001-12-20

    • status: open --> closed
     
  • Logged In: NO

    Apparently, The SQL input area was put under the
    preferences, but the output was left in a variable pitch font
    both for the sql tab and for the table content.

    Maybe this is our punishment for viewing a database with
    intellegence in the text column position? :-)