Fill out ruler context menu with more folding-related actions
improvements to editor prefs page