changeset 16640:0ee7b4d1b940

* QTerminal.cc: Style fixes.
author John W. Eaton <jwe@octave.org>
date Sun, 12 May 2013 15:33:05 -0400
parents ba808cd9d86c
children 64f9a3e301d3
files libgui/qterminal/libqterminal/QTerminal.cc
diffstat 1 files changed, 16 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/qterminal/libqterminal/QTerminal.cc	Sun May 12 15:23:14 2013 -0400
+++ b/libgui/qterminal/libqterminal/QTerminal.cc	Sun May 12 15:33:05 2013 -0400
@@ -44,22 +44,29 @@
   // QSettings pointer is checked before emitting.
 
   // Set terminal font:
-  QFont term_font = QFont();
-  term_font.setFamily(settings->value("terminal/fontName","Courier New").toString());
-  term_font.setPointSize(settings->value("terminal/fontSize",10).toInt ());
+  QFont term_font = QFont ();
+  term_font.setFamily
+    (settings->value ("terminal/fontName", "Courier New").toString ());
+
+  term_font.setPointSize (settings->value ("terminal/fontSize", 10).toInt ());
+
   setTerminalFont (term_font);
 
-  QString cursorType = settings->value ("terminal/cursorType","ibeam").toString ();
-  bool cursorBlinking = settings->value ("terminal/cursorBlinking",true).toBool ();
+  QString cursorType
+    = settings->value ("terminal/cursorType", "ibeam").toString ();
+
+  bool cursorBlinking
+    = settings->value ("terminal/cursorBlinking", true).toBool ();
+
   if (cursorType == "ibeam")
-    setCursorType(QTerminal::IBeamCursor, cursorBlinking);
+    setCursorType (QTerminal::IBeamCursor, cursorBlinking);
   else if (cursorType == "block")
-    setCursorType(QTerminal::BlockCursor, cursorBlinking);
+    setCursorType (QTerminal::BlockCursor, cursorBlinking);
   else if (cursorType == "underline")
-    setCursorType(QTerminal::UnderlineCursor, cursorBlinking);
+    setCursorType (QTerminal::UnderlineCursor, cursorBlinking);
 
   bool cursorUseForegroundColor
-    = settings->value ("terminal/cursorUseForegroundColor",true).toBool ();
+    = settings->value ("terminal/cursorUseForegroundColor", true).toBool ();
 
   // FIXME -- we shouldn't duplicate this information here and in the
   // resource manager.