jEdit Community - Resources for users of the jEdit Text Editor
Change line-end marker?
Submitted by Redoute on Sunday, 16 September, 2007 - 15:47
Hello,

is it possible to change the line-end marker in jEdit? The dot confuses me, I would prefer the well-known Pilcrow sign.
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
goto menu: Utilities>global o
by thebugslayer on Sun, 16/09/2007 - 21:36
goto menu: Utilities>global options, it's uder "Text Area" on left.
~the bug slayer~
 
Thanks for your reply. In
by Redoute on Mon, 17/09/2007 - 11:11
Thanks for your reply.

In options I can hide the marker or choose another color. What I want is another character (pilcrow = Unicode U+00B6).
User login
Browse archives
« May 2025  
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
31
 
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   108254
Context Free Art (*.cfdg)   0.31   46074
BBEdit scheme   1.0   18610
JBuilder scheme   .001   18511
ColdFusion scheme   1.0   18044
R Edit Mode - extensive version   0.1   17491
Advanced HTML edit mode   1.0   16226
Matlab Edit Mode   1.0   16088
jEdit XP icons   1.0   15248
XP icons for jEdit   1.1   14312