Grub Customizer 4.0 released
Written for Grub Customizer by Daniel Richter on 2013-12-12
Major changes:
* hiding placeholders by default (too confusing for most people, can be re-enabled at "view" -> "show placeholders")
* view options
* improved trash view (sidebar instead of separate window)
* GTKmm 3.0 (a backport to gtkmm-2.4 exists for older distributions)
* Theming (of grub)
* improved appearance settings
* script replacement detection (no more duplicates when grub scripts are replaced by an update of grub)
* backup creation on first run (allows simple restoring of the default config)
* more help texts
* fallback on systems without grub-mkdevicema
