5 Commits

Author	SHA1	Message	Date
zadam	6dfc72c065	many small fixes from Intellij analysis	2023-05-05 23:17:23 +02:00
zadam	88bc7402a2	hidden notes should not appear in the global search unless hoisted into it, #3516	2023-01-13 10:09:41 +01:00
zadam	724f99f17c	add prefix "_" to "named" IDs	2022-12-21 16:11:00 +01:00
zadam	1b24276a4a	always use template strings instead of string concatenation	2022-12-21 15:19:05 +01:00
zadam	7a46159539	code buttons into the floating buttons (WIP)	2022-12-20 23:20:59 +01:00