Make GUI options a little wider; add separator in edit menu.

linkcheck/gui/linkchecker_ui_main.py

@@ -2,7 +2,7 @@
 
 # Form implementation generated from reading ui file 'ui/main.ui'
 #
-# Created: Mon Dec 12 19:00:36 2011
+# Created: Fri Dec 16 21:48:49 2011
 #      by: PyQt4 UI code generator 4.8.6
 #
 # WARNING! All changes made in this file will be lost!
@@ -806,6 +806,7 @@ class Ui_MainWindow(object):
         self.actionDonate.setText(_("Donate"))
         self.actionDonate.setObjectName(_fromUtf8("actionDonate"))
         self.menuEdit.addAction(self.actionOptions)
+        self.menuEdit.addSeparator()
         self.menuFile.addAction(self.actionSave)
         self.menuFile.addAction(self.actionQuit)
         self.menuHelp.addAction(self.actionAbout)

linkcheck/gui/linkchecker_ui_options.py

@@ -2,7 +2,7 @@
 
 # Form implementation generated from reading ui file 'ui/options.ui'
 #
-# Created: Wed Dec 14 22:41:04 2011
+# Created: Fri Dec 16 21:48:49 2011
 #      by: PyQt4 UI code generator 4.8.6
 #
 # WARNING! All changes made in this file will be lost!
@@ -17,7 +17,7 @@ except AttributeError:
 class Ui_Options(object):
     def setupUi(self, Options):
         Options.setObjectName(_fromUtf8("Options"))
-        Options.resize(400, 550)
+        Options.resize(455, 550)
         Options.setMinimumSize(QtCore.QSize(400, 550))
         Options.setWindowTitle(_("Dialog"))
         self.verticalLayout_3 = QtGui.QVBoxLayout(Options)

linkcheck/gui/ui/main.ui

@@ -1398,6 +1398,7 @@
      <string>&amp;Edit</string>
     </property>
     <addaction name="actionOptions"/>
+    <addaction name="separator"/>
    </widget>
    <widget class="QMenu" name="menuFile">
     <property name="title">

linkcheck/gui/ui/options.ui

@@ -6,7 +6,7 @@
    <rect>
     <x>0</x>
     <y>0</y>
-    <width>400</width>
+    <width>455</width>
     <height>550</height>
    </rect>
   </property>