Sun, 10 Mar 2019 18:04:27 +0100 |
Goffi |
quick frontend(widgets): added QuickWidget.target property as a helper method to get a single target:
|
Sun, 10 Mar 2019 18:03:41 +0100 |
Goffi |
quick frontend (widgets): improved deletion of widget:
|
Sun, 10 Mar 2019 18:03:14 +0100 |
Goffi |
quick frontend(widgets): improved handling of multiple instances of widgets:
|
Sun, 10 Mar 2019 18:03:11 +0100 |
Goffi |
quick_frontend (widget, chat): implementation of new sync mechanism, first draft:
|
Sat, 09 Mar 2019 16:33:31 +0100 |
Goffi |
quick frontend (app): new synchronisation mechanism:
|
Tue, 22 Jan 2019 18:52:16 +0100 |
Goffi |
quick frontend (chat): use right type in getOrCreateWidget on new message
|
Sat, 12 Jan 2019 12:25:31 +0100 |
Goffi |
date update
|
Wed, 27 Jun 2018 20:14:46 +0200 |
Goffi |
code style reformatting using black
|
Mon, 02 Apr 2018 19:44:50 +0200 |
Goffi |
core, setup: huge cleaning:
base
frontends/src/quick_frontend/quick_widgets.py@40487b18e8f7
|