First time here? Check out the FAQ!
1

Request for a list of possible parameters\values for a command to bind

How can I find the list of possible parameters and values for command:     

show-preferences-gui()

I need something like:      

show-preferences-gui(prefname="user.keyboard.custombinding")

to be set on "F12"

And there a couple of suggestions like that in binding dialog window but not the ones I need.

Mikhail Ninin Velikoselskiy's avatar
11
Mikhail Ninin Velikoselskiy
asked 2017-11-06 03:23:00 -0500
Wingware Support's avatar
4.1k
Wingware Support
updated 2019-03-13 10:08:11 -0500
edit flag offensive 0 remove flag close merge delete

Comments

add a comment see more comments

1 Answer

1

The preferences are all listed at http://wingware.com/doc/preferences -- the Internal Name is what you want to use with show-preferences-gui().  There are some of these that are not in the preferences GUI, however, in cases where having a checkbox in a menu or similar made more sense and adding it as an obscure entry in the prefs dialog didn't make as much sense.  But most of them are in there.

Wingware Support's avatar
4.1k
Wingware Support
answered 2017-11-06 08:59:00 -0500
edit flag offensive 0 remove flag delete link

Comments

So I need    show-preferences-gui(prefname="gui.keymap-override")Great, it works. Thank you very much!

Mikhail Ninin Velikoselskiy's avatar Mikhail Ninin Velikoselskiy (2017-11-06 16:09:00 -0500) edit
add a comment see more comments

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account. This space is reserved only for answers. If you would like to engage in a discussion, please instead post a comment under the question or an answer that you would like to discuss.

Add Answer