jeremy@jermolene.com 51a4d39c19 Refresh text editors when the palette changes ... Fixes #7276		2023-02-23 10:13:13 +00:00
..
engines	Allow global keyboard shortcuts to override all other shortcuts by providing a special field (#6735)	2022-10-07 17:31:04 +01:00
operations	Fix toggling of the numbered list prefix in Markdown tiddlers (#6697)	2022-05-17 22:31:50 +02:00
factory.js	Refresh text editors when the palette changes	2023-02-23 10:13:13 +00:00