Fixed restoration of the panel divider position.
authorJean-Philippe Orsini <jeanfi@gmail.com>
Fri, 17 Feb 2017 23:19:47 +0000 (00:19 +0100)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Fri, 17 Feb 2017 23:19:47 +0000 (00:19 +0100)
commitc1e20f2631a1249720e9c75d753eacfcb0f6c7b9
treed0c0ad45e1b9a8ef134257ce00deeadf50e49523
parente6444eb3fa27922e70f4ae2bbcd32a3d6f295ab8
Fixed restoration of the panel divider position.

Moved the restoration of the divider position in the ui_window_show
function. The ui_window_update function does not be called
after closing the preference window or in check_ui_visible, it
was causing a restoration of the divider position to the old
setting.

Based on patch of LP #1642034 (Francis Chin)
NEWS
src/main.c
src/ui.c
src/ui.h
src/ui_pref.c