Display line numbers for the file in the editor#1648

Merged

cmaglie merged 3 commits intomasterfrom

unknown repository

Nov 4, 2013

Commits on Oct 28, 2013

Display line numbers for the file being edited
Cayci
committed

Commits on Oct 29, 2013

add preference to enable/disable line numbers
Cayci
committed

Commits on Nov 3, 2013

Render line numbers using TextAreaPainter
Cayci
committed