Allow drawing the polygon stuff via GUI

2014-10-25 03:15:38 +02:00
parent 7965443aa6
commit ddff8b1fb2
5 changed files with 121 additions and 23 deletions
--- a/GUI/gtk2.glade
+++ b/GUI/gtk2.glade
@@ -765,7 +765,9 @@ Public License instead of this License.
            <property name="visible">True</property>
            <property name="can_focus">False</property>
            <property name="items" translatable="yes">Show points
-Show convex hull</property>
+Show convex hull
+Show polygons
+Show polygons intersection</property>
          </widget>
          <packing>
            <property name="expand">False</property>