zoom on ctrl+wheel
TikzRuler: code cleanup