[core] re-enable minimize of widgets

by default, allow toggling the minimized state of a widget via the
middle mouse and draw a single unicode char instead of the actual
widget, maintaining all states.

fixes #661
This commit is contained in:
Tobias Witek 2020-06-23 15:51:14 +02:00
parent 45d8ed23c9
commit 34dadadf90
6 changed files with 48 additions and 14 deletions

View file

@ -15,6 +15,7 @@ class Widget(util.store.Store, core.input.Object):
self.__full_text = full_text
self.module = None
self.name = name
self.minimized = False
@property
def module(self):