How do you tell the CoqIde I want to use the apple keyboard “Command” for navigation of the proof?
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box;
}
I want to have for my modifier navigation bar to have the "apple Command" keyboard button but I don't know how to tell my coqiderc what it is.
I tried:
modifier_for_navigation = "<Command>"
but it didn't work. How do I do this in a Mac?
reference cite: https://github.com/coq/coq/wiki/Configuration-of-CoqIDE
coq
asked Nov 25 '18 at 3:11
PinocchioPinocchio
4,298134783
add a comment |
I want to have for my modifier navigation bar to have the "apple Command" keyboard button but I don't know how to tell my coqiderc what it is.
I tried:
modifier_for_navigation = "<Command>"
but it didn't work. How do I do this in a Mac?
reference cite: https://github.com/coq/coq/wiki/Configuration-of-CoqIDE
coq
asked Nov 25 '18 at 3:11
PinocchioPinocchio
4,298134783
add a comment |
I want to have for my modifier navigation bar to have the "apple Command" keyboard button but I don't know how to tell my coqiderc what it is.
I tried:
modifier_for_navigation = "<Command>"
but it didn't work. How do I do this in a Mac?
reference cite: https://github.com/coq/coq/wiki/Configuration-of-CoqIDE
coq
asked Nov 25 '18 at 3:11
PinocchioPinocchio
4,298134783
I want to have for my modifier navigation bar to have the "apple Command" keyboard button but I don't know how to tell my coqiderc what it is.
I tried:
modifier_for_navigation = "<Command>"
but it didn't work. How do I do this in a Mac?
reference cite: https://github.com/coq/coq/wiki/Configuration-of-CoqIDE
coq
coq
asked Nov 25 '18 at 3:11
PinocchioPinocchio
4,298134783
asked Nov 25 '18 at 3:11
PinocchioPinocchio
4,298134783
edited Nov 25 '18 at 4:25
Pinocchio
asked Nov 25 '18 at 3:11
PinocchioPinocchio
4,298134783
asked Nov 25 '18 at 3:11
PinocchioPinocchio
4,298134783
asked Nov 25 '18 at 3:11
PinocchioPinocchio
4,298134783
4,298134783
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
Not enough rep for a comment, but this may or may not answer your question.
Have you tried using <Primary> instead of <Command>? It looks like that's what's used here.
(gtk_accel_path "<Actions>/Navigation/Forward" "<Primary><Control>Down")
answered Nov 25 '18 at 5:14
UserUser
1,5351710
Why would you want to make this a comment, this is the answer. Thanks, sent you the acceptance ;) :)
– Pinocchio
Nov 26 '18 at 1:00
add a comment |
As User said use <Primary>. Here is the instructions I wrote for myself:
On Mac OS X, in ~/Library/Application Support/coq/ is where the file is, but do command:
vim ~/Library/Application Support/coq/coqiderc
(3) Edit the file coqiderc and make the following change:
|before | modifier_for_navigation = "<Control>" |
|after | modifier_for_navigation = "<Shift><Primary>" |
Note:
<Primary> is the funny apple key button.
https://github.com/coq/coq/wiki/Configuration-of-CoqIDE
How do you tell the CoqIde I want to use the apple keyboard “Command” for navigation of the proof?
answered Nov 26 '18 at 1:02
PinocchioPinocchio
4,298134783
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
StackExchange.using("externalEditor", function () {
StackExchange.using("snippets", function () {
StackExchange.snippets.init();
});
});
}, "code-snippets");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "1"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53464325%2fhow-do-you-tell-the-coqide-i-want-to-use-the-apple-keyboard-command-for-naviga%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
Not enough rep for a comment, but this may or may not answer your question.
Have you tried using <Primary> instead of <Command>? It looks like that's what's used here.
(gtk_accel_path "<Actions>/Navigation/Forward" "<Primary><Control>Down")
answered Nov 25 '18 at 5:14
UserUser
1,5351710
Why would you want to make this a comment, this is the answer. Thanks, sent you the acceptance ;) :)
– Pinocchio
Nov 26 '18 at 1:00
add a comment |
Not enough rep for a comment, but this may or may not answer your question.
Have you tried using <Primary> instead of <Command>? It looks like that's what's used here.
(gtk_accel_path "<Actions>/Navigation/Forward" "<Primary><Control>Down")
answered Nov 25 '18 at 5:14
UserUser
1,5351710
Why would you want to make this a comment, this is the answer. Thanks, sent you the acceptance ;) :)
– Pinocchio
Nov 26 '18 at 1:00
add a comment |
Not enough rep for a comment, but this may or may not answer your question.
Have you tried using <Primary> instead of <Command>? It looks like that's what's used here.
(gtk_accel_path "<Actions>/Navigation/Forward" "<Primary><Control>Down")
answered Nov 25 '18 at 5:14
UserUser
1,5351710
Not enough rep for a comment, but this may or may not answer your question.
Have you tried using <Primary> instead of <Command>? It looks like that's what's used here.
(gtk_accel_path "<Actions>/Navigation/Forward" "<Primary><Control>Down")
answered Nov 25 '18 at 5:14
UserUser
1,5351710
answered Nov 25 '18 at 5:14
UserUser
1,5351710
answered Nov 25 '18 at 5:14
UserUser
1,5351710
answered Nov 25 '18 at 5:14
UserUser
1,5351710
1,5351710
Why would you want to make this a comment, this is the answer. Thanks, sent you the acceptance ;) :)
– Pinocchio
Nov 26 '18 at 1:00
add a comment |
Why would you want to make this a comment, this is the answer. Thanks, sent you the acceptance ;) :)
– Pinocchio
Nov 26 '18 at 1:00
Why would you want to make this a comment, this is the answer. Thanks, sent you the acceptance ;) :)
– Pinocchio
Nov 26 '18 at 1:00
Why would you want to make this a comment, this is the answer. Thanks, sent you the acceptance ;) :)
– Pinocchio
Nov 26 '18 at 1:00
add a comment |
As User said use <Primary>. Here is the instructions I wrote for myself:
On Mac OS X, in ~/Library/Application Support/coq/ is where the file is, but do command:
vim ~/Library/Application Support/coq/coqiderc
(3) Edit the file coqiderc and make the following change:
|before | modifier_for_navigation = "<Control>" |
|after | modifier_for_navigation = "<Shift><Primary>" |
Note:
<Primary> is the funny apple key button.
https://github.com/coq/coq/wiki/Configuration-of-CoqIDE
How do you tell the CoqIde I want to use the apple keyboard “Command” for navigation of the proof?
answered Nov 26 '18 at 1:02
PinocchioPinocchio
4,298134783
add a comment |
As User said use <Primary>. Here is the instructions I wrote for myself:
On Mac OS X, in ~/Library/Application Support/coq/ is where the file is, but do command:
vim ~/Library/Application Support/coq/coqiderc
(3) Edit the file coqiderc and make the following change:
|before | modifier_for_navigation = "<Control>" |
|after | modifier_for_navigation = "<Shift><Primary>" |
Note:
<Primary> is the funny apple key button.
https://github.com/coq/coq/wiki/Configuration-of-CoqIDE
How do you tell the CoqIde I want to use the apple keyboard “Command” for navigation of the proof?
answered Nov 26 '18 at 1:02
PinocchioPinocchio
4,298134783
add a comment |
As User said use <Primary>. Here is the instructions I wrote for myself:
On Mac OS X, in ~/Library/Application Support/coq/ is where the file is, but do command:
vim ~/Library/Application Support/coq/coqiderc
(3) Edit the file coqiderc and make the following change:
|before | modifier_for_navigation = "<Control>" |
|after | modifier_for_navigation = "<Shift><Primary>" |
Note:
<Primary> is the funny apple key button.
https://github.com/coq/coq/wiki/Configuration-of-CoqIDE
How do you tell the CoqIde I want to use the apple keyboard “Command” for navigation of the proof?
answered Nov 26 '18 at 1:02
PinocchioPinocchio
4,298134783
As User said use <Primary>. Here is the instructions I wrote for myself:
On Mac OS X, in ~/Library/Application Support/coq/ is where the file is, but do command:
vim ~/Library/Application Support/coq/coqiderc
(3) Edit the file coqiderc and make the following change:
|before | modifier_for_navigation = "<Control>" |
|after | modifier_for_navigation = "<Shift><Primary>" |
Note:
<Primary> is the funny apple key button.
https://github.com/coq/coq/wiki/Configuration-of-CoqIDE
How do you tell the CoqIde I want to use the apple keyboard “Command” for navigation of the proof?
answered Nov 26 '18 at 1:02
PinocchioPinocchio
4,298134783
answered Nov 26 '18 at 1:02
PinocchioPinocchio
4,298134783
answered Nov 26 '18 at 1:02
PinocchioPinocchio
4,298134783
answered Nov 26 '18 at 1:02
PinocchioPinocchio
4,298134783
4,298134783
add a comment |
add a comment |
Thanks for contributing an answer to Stack Overflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fstackoverflow.com%2fquestions%2f53464325%2fhow-do-you-tell-the-coqide-i-want-to-use-the-apple-keyboard-command-for-naviga%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
