View Revisions: Note 111515

Summary 0034106: gtk3: Splitter idnores design settings and always 46pix width