Store / Restore column widths of workspace widget

[M. Gronle]

It would be great, if itom would store the current widths of the columns in the workspace widgets, like it is the case in other tabular toolboxes, at shutdown. Vice-versa these values should be loaded at the next startup.

[itobiege]

fix bug #59 : store the current widths of the columns in the workspace, breakpoint and callstack widgets

→ <<cset 941e1cd1a2ec>>

[M. Gronle]

fix bug #59 : store the current widths of the columns in the workspace, breakpoint and callstack widgets

→ <<cset 28f40066b157>>