Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
How2 set custom editor font properties
18-12-2015, 10:47 AM, (This post was last modified: 19-12-2015, 02:49 AM by jwzumwalt.)
#1
How2 set custom editor font properties
For those that are irritated by the inability to format code listings by the default proportional font used by the editor, the font family of your choice (and other properties) can be set in the  C:\pinguino-11\qtgui\ide\code_editor\editor.py file.

change the line (~ line #65) with "font-family" to the font of your choice.

       self.setStyleSheet("""
       QTextEdit {
           background-color: #FFF;
           font-family: mono;
           font-weight: normal;
           font-size: 10pt;
           }

       """)

I have a high resolution monitor and do not like the white glare so this is my setup...
background-color: #cdf, font-family: courier, font-size: 11pt.
----------------
Thanks,
j
wzumwalt
 (\__/)
 (='.'=)
 (")_(")
Reply
18-12-2015, 07:02 PM,
#2
RE: How2 set custom editor font properties
(18-12-2015, 10:47 AM)jwzumwalt Wrote: For those that are irritated by the inability to format code listings by the default proportional font used by the editor, the font family of your choice (and other properties) can be set in the  C:\pinguino-11\qtgui\ide\code_editor\editor.py file.

change the line (~ line #65) with "font-family" to the font of your choice (I prefer courier)...

       self.setStyleSheet("""
       QTextEdit {
           background-color: #FFF;
           font-family: mono;
           font-weight: normal;
           font-size: 10pt;
           }

       """)

thank you
Reply
11-03-2016, 11:30 AM,
#3
RE: How2 set custom editor font properties
Thanks.
Just what I was looking for.
Reply


Forum Jump:


Users browsing this thread: 2 Guest(s)