Changes from 0.10.2 to 0.10.4:
- * A graphical user interface has a new menu: Edit|Options
+ * Some inappropriate properties in selection dialogs have been corrected.
+
+ * The graphical user interface has a new menu: Edit|Options
* A bug which could cause the HTML driver to go into a tight loop
has been fixed.