# HG changeset patch # User Torsten # Date 1364923944 -7200 # Node ID c31139d6fb3b7f330432c12f79bbca68b82e107d # Parent b1ea3813e37dc7a60403e75b4d1d97df721b74eb * default-qt-settings: remove editor font and size settings diff -r b1ea3813e37d -r c31139d6fb3b libgui/default-qt-settings --- a/libgui/default-qt-settings Mon Apr 01 22:19:35 2013 -0400 +++ b/libgui/default-qt-settings Tue Apr 02 19:32:24 2013 +0200 @@ -22,8 +22,6 @@ showLineNumbers=true highlightCurrentLine=true codeCompletion=true -fontName=Courier -fontSize=10 longWindowTitle=false restoreSession=false savedSessionTabs=@Invalid()