JFH db8522fcb7 Add document title in topbar and allow params with user extensions (#720) ...

* use document title to display the current file
* add document title in top bar

2022-01-31 23:36:57 +01:00

4.5 KiB

Raw Blame History

View Raw