Hidden works again.
commit7de939b048fa52341fcaf3c8faf355cc6d5eb6d2
authorThomas Leonard <talex5@gmail.com>
Thu, 21 Nov 2002 14:15:14 +0000 (21 14:15 +0000)
committerThomas Leonard <talex5@gmail.com>
Thu, 21 Nov 2002 14:15:14 +0000 (21 14:15 +0000)
tree1f3b3f20d71687cd94a0c7f4438bad644a4ce3a1
parentf2f43c98631ad9a3b7dc8cd5fef55157df666ba1
Hidden works again.
Remove options.

git-svn-id: http://dom-editor.googlecode.com/svn/branches/Gtk2@437 ef21e15d-ca94-4315-9c45-0d95b1b2e117
Dome/Display2.py
Dome/GUIView.py
Dome/View.py