* Visual cosmetics on Gtk 3. * Script Editor: Use consistent font size on all screens and DPI settings. * Bumped version (1.0.0.svn65).