only update the ruler if we haven't updated for 0.5s.
if code folding is not on then lines only count for 1.
Respect the new jump bar enabled flag and the flag for toggling line numbers.
Improve responsiveness when scrolling: if the interval since last ruler update is too short, defer the update
some additional ui to support showing and hiding the jump bar
Add constants for better jump bar control
remove the old language settings stuff
update
made editor split view a property property and bug fixes to toggling status view.
observe and handle changes to the jump bar status.
If we don't get a language from the settings, go for automatic.
update
Add preferences support for the new jump bar options.
use nice raised style
Bug fix: hide the page count if no pdf is available.
Update