Adding line numbers in editor (default) #586

uqbar-project · Oct 21, 2016 · 590610d · 590610d
1 parent 4fa3597
commit 590610d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/org.uqbar.project.wollok.product/plugin_customization.ini b/org.uqbar.project.wollok.product/plugin_customization.ini
@@ -13,4 +13,6 @@ org.eclipse.equinox.p2.ui.sdk.scheduler/remindOnSchedule=true
 org.eclipse.equinox.p2.ui.sdk.scheduler/remindElapsedTime=4 Hours
 
 org.eclipse.ui.intro/INTRO_THEME = org.eclipse.ui.intro.universal.slate
-org.eclipse.ui.intro.universal/INTRO_ROOT_PAGES = overview,tutorials,samples,whatsnew
+org.eclipse.ui.intro.universal/INTRO_ROOT_PAGES = overview,tutorials,samples,whatsnew
+
+org.eclipse.ui.editors/lineNumberRuler = true