preferences(section): enabling to target a specific preferences section in the GUI would be useful.
Reported by Samuel GOUGEON (@sgougeon)
BUG DESCRIPTION:
----------------
Presently, there is no preferences() input parameter allowing to open the preferences GUI and to target a specific section in it. Yet, some Options => Preferences => * items do it from Scinotes menus, but thanks to a java internal (i guess).
Implementing a public preferences() option would be great.
ERROR LOG:
----------
--> preferences("scinotes-set-colors")
preferences: Wrong number of input argument(s): 0 expected.
HOW TO REPRODUCE THE BUG:
-------------------------
preferences("scinotes-set-colors")
preferences("Colors")