historywindow.cpp
changeset 442 dfbc371b7280
parent 421 5522d1da7e37
child 482 24c7902a3e14
     1.1 --- a/historywindow.cpp	Sat Mar 31 09:28:27 2007 +0000
     1.2 +++ b/historywindow.cpp	Sat Mar 31 09:28:27 2007 +0000
     1.3 @@ -158,6 +158,15 @@
     1.4  	showwithmain=v;
     1.5  }
     1.6  
     1.7 +void HistoryWindow::closeEvent( QCloseEvent* ce )
     1.8 +{
     1.9 +    ce->accept();	// TextEditor can be reopened with show()
    1.10 +    showwithmain=false;
    1.11 +	emit (windowClosed() );
    1.12 +    return;
    1.13 +}
    1.14 +
    1.15 +
    1.16  bool HistoryWindow::showWithMain()
    1.17  {
    1.18  	return showwithmain;