https://bugs.documentfoundation.org/show_bug.cgi?id=62954
--- Comment #13 from Cor Nouws <c...@nouenoff.nl> --- (In reply to Heiko Tietze from comment #12) > (In reply to Michael Weghorn from comment #11) > > As a general thought: If there's *generally* no use case to adjust the size > > of some UI element (i.e. neither with the mouse, nor with the keyboard)... > So WF Full quote was "As a general thought: If there's *generally* no use case to adjust the size of some UI element " ;ยด) IMO adjusting width of panes is definitely an existing use. -- You are receiving this mail because: You are the assignee for the bug.
