Dennis 7b88e10eeb adds command for opening thing in other window		2025-10-27 12:55:54 +01:00
..
dnsc	fixes some theme highlights	2025-09-22 08:13:13 +02:00
plugins	adds command for opening thing in other window	2025-10-27 12:55:54 +01:00