Fixes that very annoying bug in the editor save bar.

Issue #428