changeset 15588:3079b4eb57ad

merge in change of terminal icon
author Torsten <ttl@justmail.de>
date Sat, 03 Nov 2012 12:12:06 +0100
parents 9b70d27d306e (current diff) 204cafff778c (diff)
children ded8d537d1c9
files
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/main-window.cc	Sat Nov 03 08:58:57 2012 +0100
+++ b/libgui/src/main-window.cc	Sat Nov 03 12:12:06 2012 +0100
@@ -496,7 +496,6 @@
   _terminal->setObjectName ("OctaveTerminal");
   _terminal->setFocusPolicy (Qt::StrongFocus);
   _terminal_dock_widget = new terminal_dock_widget (_terminal, this);
-  _terminal_dock_widget->setWindowIcon (QIcon(":/actions/icons/terminal.png"));
 
   QWidget *dummyWidget = new QWidget ();
   dummyWidget->setObjectName ("CentralDummyWidget");