jEdit Community - Resources for users of the jEdit Text Editor
Smaller icon sizes
Submitted by Anonymous on Thursday, 29 January, 2004 - 19:32
Is there a way to make the graphical items a smaller size? One specific example is the HyperSearch Results. When I dock the results at the bottom of the view, the top edge of the results has an icon for "Remove All Nodes" and "Toggle Multiple Results". While these are occasionally useful, I would much rather have the space they use for a larger text area. The icons cause the border between the results and the edit area to be twice the size it needs to be.
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   18609
JBuilder scheme   .001   18511
ColdFusion scheme   1.0   18044
R Edit Mode - extensive version   0.1   17490
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