See, how internal Settings open. There is one menu item:

And it opens default settings and user-specified:

This is done with edit_settings command (in .sublime-menu file):
{
"command": "edit_settings",
"args": { "base_file": "${packages}/.../....sublime-settings" },
"caption": "Settings"
}
This can be implemented for SublimeREPL too!
See, how internal Settings open. There is one menu item:
And it opens default settings and user-specified:
This is done with
edit_settingscommand (in.sublime-menufile):{ "command": "edit_settings", "args": { "base_file": "${packages}/.../....sublime-settings" }, "caption": "Settings" }This can be implemented for SublimeREPL too!