jEdit Community - Resources for users of the jEdit Text Editor
Number padding
Submitted by akovia on Wednesday, 2 February, 2011 - 19:06
Hi,
Wanted to find an easy way to pad line numbers. I am using the numbering lines macro, and wanted to know how hard it would be to add an option to add padding, and possibly an input box to format the result with brackets or other symbols. I am not a programmer but am able to do what I want each time via regex. Just looking for an easier way. Reading over the beanshell help, it looks to be a little more than I could handle without some help.

Thanks,
Ako
User login
Browse archives
« April 2024  
MoTuWeThFrSaSu
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   82348
Context Free Art (*.cfdg)   0.31   46055
JBuilder scheme   .001   18495
BBEdit scheme   1.0   18116
ColdFusion scheme   1.0   18024
R Edit Mode - extensive version   0.1   17473
Advanced HTML edit mode   1.0   16206
Matlab Edit Mode   1.0   16068
jEdit XP icons   1.0   15229
XP icons for jEdit   1.1   14293