Přemysl Eric Janouch 8da5f807cf Move and extend the browser toolbar ...

This makes the user interface more cohesive, and easier to use.

Both toolbars should ideally be made configurable.

2023-04-11 06:33:22 +02:00

151 lines

6.1 KiB

XML

Raw Blame History