-
Michael Natterer authored
Use "right-docks-width" and always a positive value instead of "right-docks-position" (as opponsed to "left-docks-width", that distinction is a GtkPaned implementation detail and does not belong into a config file). Parse all old values too. Also fix a glitch in the deserialization code which might fix bug #700147.
a078ca3f