jEdit Community - Resources for users of the jEdit Text Editor
∫ instead of int followed by a space?
Submitted by Rob Somerville on Wednesday, 1 December, 2004 - 17:15
I am using jEdit to try to write in java and when I try to enter int then as soon as I type the space the 'int' disappears and is replaced by this character ∫

It's really not much of a problem but does anybody know why?

Thanks,

Rob
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
See Utilities > Global Option
by Anonymous on Wed, 01/12/2004 - 17:53
See Utilities > Global Options > Abbreviations.

You probably have "Space bar expands abbrevs" enabled and "int"->"∫" defined as a global abbrev.

-Ollie
 
abbreviation for int
by Rob Somerville on Wed, 01/12/2004 - 20:32
Thanks Ollie, you are correct, of course. Now I can stop copying and pasting int and get on with life.

I hope that I get better at java than I am with common sense.

Rob
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