From 9f0ce0ee7f60815b7d099784b8249634feffaafc Mon Sep 17 00:00:00 2001
From: Werner Lemberg <wl@gnu.org>
Date: Wed, 18 Jan 2012 21:19:12 +0100
Subject: [PATCH] Add `File' menu (for quitting only).

---
 frontend/maingui.cpp | 7 ++++++-
 frontend/maingui.h   | 3 ++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/frontend/maingui.cpp b/frontend/maingui.cpp
index 591a776..8cd196e 100644
--- a/frontend/maingui.cpp
+++ b/frontend/maingui.cpp
@@ -48,8 +48,10 @@ Main_GUI::Main_GUI(int range_min,
 }
 
 
+// overloading
+
 void
-Main_GUI::close_event(QCloseEvent* event)
+Main_GUI::closeEvent(QCloseEvent* event)
 {
   write_settings();
   event->accept();
@@ -399,6 +401,9 @@ Main_GUI::create_actions()
 void
 Main_GUI::create_menus()
 {
+  file_menu = menuBar()->addMenu(tr("&File"));
+  file_menu->addAction(exit_act);
+
   help_menu = menuBar()->addMenu(tr("&Help"));
   help_menu->addAction(about_act);
   help_menu->addAction(about_Qt_act);
diff --git a/frontend/maingui.h b/frontend/maingui.h
index 1eba4b7..5c3ef31 100644
--- a/frontend/maingui.h
+++ b/frontend/maingui.h
@@ -36,7 +36,7 @@ public:
   Main_GUI(int, int, bool, bool, int);
 
 protected:
-  void close_event(QCloseEvent*);
+  void closeEvent(QCloseEvent*);
 
 private slots:
   void about();
@@ -66,6 +66,7 @@ private:
   int open_files(QFile& in_file, const QString& in_name, FILE** in,
                  QFile& out_file, const QString& out_name, FILE** out);
 
+  QMenu* file_menu;
   QMenu* help_menu;
 
   QLineEdit* input_line;
-- 
2.11.4.GIT