jp9000 4450843aa0 UI: Warn when closing dock widgets for first time ...

Users don't realize that dockable windows can be closed (hidden) and can
be shown again via the View menu.  This adds an explicit warning when
the user first closes a dockable window for their first time.  In future
versions, this should be changed to a dialog box with a "Do not show
again" checkbox.

2019-03-05 14:39:24 -08:00

675 B

Raw Blame History

View Raw