Position of error marks is adjusted for selection.

Close: #20
2018-11-10 10:59:52 +01:00 · 2018-11-10 10:59:52 +01:00 · f629e48a85
commit f629e48a85
parent b0718258c9
5 changed files with 21 additions and 13 deletions
--- a/pglab/ConnectionManagerWindow.ui
+++ b/pglab/ConnectionManagerWindow.ui
@ -187,7 +187,7 @@
     <x>0</x>
     <y>0</y>
     <width>800</width>
-     <height>20</height>
+     <height>21</height>
    </rect>
   </property>
   <widget class="QMenu" name="menuFile">