Adjustable Window Panes? #2
Description
It is too often the case that the proof obligation pane occupies more than half of the window. Can we make the pane adjustable?
{{ message }}
It is too often the case that the proof obligation pane occupies more than half of the window. Can we make the pane adjustable?