jEdit Community - Resources for users of the jEdit Text Editor
smaller toolbar icons?
Submitted by eldereko on Monday, 20 April, 2009 - 15:50
with 4.2 you could override the toolbar icons, but with 4.3 themes you can only choose from classic or tango... both of which are huge icons compared to almost every other app. is there a way to either override the icons as in 4.2 or switch to a smaller version of the theme, i see there are smaller versions in the jedit jar.
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
For me, jEdit's icons have al
by Robert Schwenn on Tue, 21/04/2009 - 19:58
For me, jEdit's icons have almost the same size as in most other apps Eye-wink

There aren't different sized versions of the two integrated themes.

Though I don't know how You've overridden integrated icons of jEdit 4.2, I'm pretty sure that this way should still work for 4.3. Of course You'd have to consider the changed structure of the icons folder.

Robert
 
how does one override the too
by eldereko on Sun, 10/05/2009 - 19:28
how does one override the toolbar icons in 4.3, the old 4.2 method no longer works to my knowledge?
 
overriding with custom icons
by tsourick on Fri, 08/01/2010 - 03:20
I can not get icons overridden too for 4.3

Is it possible somehow?
User login
Browse archives
« April 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
 
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   107462
Context Free Art (*.cfdg)   0.31   46065
BBEdit scheme   1.0   18604
JBuilder scheme   .001   18505
ColdFusion scheme   1.0   18035
R Edit Mode - extensive version   0.1   17485
Advanced HTML edit mode   1.0   16216
Matlab Edit Mode   1.0   16080
jEdit XP icons   1.0   15239
XP icons for jEdit   1.1   14303