diff options
| author | Hugo Herbelin | 2018-10-29 15:48:47 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2019-09-10 12:03:18 +0200 |
| commit | 5b13384e1b5bd4f11f22036f4eb83c63a4ae88c2 (patch) | |
| tree | 34ece0e165462d5910979a4d36b5663049839dde /doc/plugin_tutorial | |
| parent | 29592216820248bfc78b137595fdd5e31d28f5b6 (diff) | |
Fixing #8269: adding callback on changed modifiers only after pref loading.
Otherwise, probably for the reason suspected in [1], loading the
preference file (coqiderc) is interpreted as a change of the
modifiers, and this overrides what the more fine-grained preferences
(coqide.keys) was telling.
[1] https://github.com/coq/coq/issues/8269#issuecomment-415971367
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions