reverse previous change to ruler divider position, to work with new Ruler semantics

This commit is contained in:
Paul Davis 2014-11-26 13:54:00 +02:00
parent ee49c0a0c2
commit 3e98eb6058

View file

@ -2,7 +2,7 @@
<Window timebarheight="17"
rulerheight="63"
rulerdivideheight="30"
rulerdivideheight="31"
skipbarheight="17"
markerheight="18" >
<style name="topbar_dropdown"