Mark compatible with Firefox 29.0a1
Optimize: don't update splitter width, if entered invalid number:
this.pref(prefName, w) -> observe() -> prefsChanged() -> setSplitterWidth()