fiji/fiji — pull request #53 by sinverso (2013-12-06 23:19:39+00:00)
Title: Script Editor Default Window Size

loadPreferences() now uses default window width and heights if getSize() returns 0 for either dimension. Fixes bug in Ubuntu 12.04 where Script Editor is initialized with 0 pixel window.