Wed, 01 May 2013 14:47:38 +0200
Changed the line numbers margin to adjust themselves to the size needed (Editor, Mini Editor, Shell).
2640
dedcd4f987e0
Changed the line numbers margin to adjust themselves to the size needed (Editor, Mini Editor, Shell).
Detlev Offenbach <detlev@die-offenbachs.de>
parents:
2633
diff
changeset
|
1 | (binary:application/octet-stream) |