6 Commits

Author	SHA1	Message	Date
zadam	0c5f842626	improvements to note tooltip - include (some) notePath and attributes	2020-09-08 21:45:07 +02:00
zadam	ceb762e56b	fix zen mode with attributes, closes #1213	2020-09-04 23:35:10 +02:00
zadam	a37fa0cb3f	don't use   for attributes since it (duh) prevents line breaking in case of inherited attributes	2020-09-02 23:16:56 +02:00
zadam	31d85ed8cc	fixes and tweaks - readonly bar is smaller and on the right	2020-08-27 14:54:56 +02:00
zadam	ed6181a85e	added in-editor help for editing attributes	2020-08-21 23:08:53 +02:00
zadam	9f527f0330	split out attribute_editor widget, WIP	2020-07-17 00:08:28 +02:00