Re: [isabelle] Dockable panels



I don't care so much about the defaults, but here's another data point
from my setup. I'm sympathetic for having state/output at the bottom.

(On a dual monitor setup, I undock the output panel and use it full
screen on the second monitor.)

Attachment: Screenshot_20160119_122335.png
Description: PNG image



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.