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 |
|