christoph at cullmann.io
Sat Jan 4 21:32:14 GMT 2020
>> I suppose flexibility is generally useful. For example, if people
>> have several configurations around then being able to specify the
>> configuration path can be helpful. It incidentally also (easily)
>> shows the config file location, which could then also be edited in any
>> preferred way (if so considered more convenient).
> ok, then I will just add an edit widget to modify the file as
> configured by the user but keep the
> configuration for the actual file name.
> I will just enforce that per default the one in the user-local config
> is chosen.
ok, gave that now a try.
Perhaps you can try out the new config UI if that is ok.
Ignorance is bliss...
https://cullmann.io | https://kate-editor.org
More information about the KWrite-Devel