The Kate Text Editor and the Tab Bar – Release 20.12(kate-editor.org)
kate-editor.org
The Kate Text Editor and the Tab Bar – Release 20.12
https://kate-editor.org/post/2020/2020-09-15-kate-and-the-tab-bar-release-20.12/
0 comments
—
https://kate-editor.org/post/2020/2020-09-15-kate-and-the-tab-bar-release-20.12/
—