code icon indicating copy to clipboard operation
code copied to clipboard

Remove global tab control from document FormatBar

Open jeremypw opened this issue 4 years ago • 0 comments

See #1082

The Format control in the header bar contains two controls that are linked to the focused document but the tab control governs global settings and its functions are duplicated in the AppMenu so it does not really belong in the header and takes up valuable space.

This PR just removes it.

In order to further reduce minimum width, the Gtk.Separators, which take up considerable space, are replaced with margins. This reduces the minimum width to 636px

jeremypw avatar Dec 12 '21 14:12 jeremypw