j
k
j a
j l
Looks a good idea.
Whilst @codebrainz has a point, that minor inconvenience seems acceptable given that even if the user could edit a "normal" preference it will have no effect until the project is closed anyway.
Attachments:
Back to the thread
Back to the list