I can imagine this being some sort of registration helper (maybe run in .onLoad() conditional on 1) interactive(), 2) being in Positron and 3) there being no keybinding to .init_addin() registered?) that just asks folks if they want to update keybindings and then updating keybindings.json automatically. Will see if folks bring this up in spring cleaning.
I can imagine this being some sort of registration helper (maybe run in
.onLoad()conditional on 1)interactive(), 2) being in Positron and 3) there being no keybinding to.init_addin()registered?) that just asks folks if they want to update keybindings and then updatingkeybindings.jsonautomatically. Will see if folks bring this up in spring cleaning.