a5995468ef
Although go to marker commands (or other keybindings) don't work, the marker margin can still be useful, and improves alignment with the original sci widget when using the Top & Bottom split.