Ivan Denisov 34e801e441 fix tabs labels layout, add creation of new dividers 2 anni fa
..
Docu aa3129b897 fix position shift of tab title after activation 2 anni fa
Mod 34e801e441 fix tabs labels layout, add creation of new dividers 2 anni fa
Rsrc e13c1dfa2e update edit field (by k8), make visible last open tab and limit tabs scroll (by k8), fix links in Controllers docu, fix log window title after workspace load, add workspace commands to menu 2 anni fa