Menu ▾ ▴

#608 Editor font family

closed
nobody
None
5
2012-10-17
2012-09-25
No

I use TXS 2.4 and Win7 64.

The menu
Options / Configure TXS / Editor / Font Family
doesn't work. If I change font family of the editor, it happens nothing, only font family of
line numbers changes. On the other hand, font size changing works.

Discussion

  • Anonymous

    Anonymous - 2012-09-25

    After restarting TXS it doesn't work too, but starting with default settings it is OK. I don't understand it.

     

  • Tim Hoffmann

    Tim Hoffmann - 2012-09-25

    Try to find out, which settings you changed. If you still have the old settings file, you can also send it to me.

    In principle it can also depend on if you restore files at start up - at least that was reported in the other bug. Since the session is also saved in the ini. This is also gone in default settings.

     

  • Jan Sundermeyer

    Jan Sundermeyer - 2012-10-03

    fixed in rev. 3338

     

Log in to post a comment.