Ansgar Becker f2a50aba63 Issue #1669: turn customize-highlighter button into dropdown button with additional items "Format code once" and "Always format code". Usable for SQL and JSON.

2022-09-27 11:10:43 +02:00

7.6 KiB

Raw Blame History

View Raw