jEdit Community - Resources for users of the jEdit Text Editor
home · archives · chatbox · files · forums · news feeds · polls · projects · search · my account · links
Home » Forums » Using jEdit
Can not set Metal Colours anymore
Submitted by rovf on Tuesday, 22 January, 2019 - 09:58
Using jEdit
I have the "Metal" plugin enabled, and no other plugin active, which might influence the user interface.

In the global settings, I have set "Swing look&feel" to "Metal".

Still, my settings in the Metal plugin (for example, Scrollbar color) don't have any effect.

This is jEdit 5.4.0 running on Windows 7.
login or register to post comments · previous forum topic · next forum topic
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
Solved (Maybe a bug?)
by rovf on Tue, 22/01/2019 - 10:08
A found a solution to the problem, though it looks like a bug to me.

Note that I originally also restarted jEdit, with no visible effect, so I tried now something different:

I first set the appearance to "Windows Classic", and after I applied this, I switched back to Metal" - and now, suddenly (and without additional restart needed), my metal settings became visible!!!
login or register to post comments
User login
Browse archives
« August 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
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
27 comments · older polls
Syndication

RSS

XML

HTML

Top 10 files
file   ver   dls
German Localization light   4.4.2.1   95103
Context Free Art (*.cfdg)   0.31   46060
BBEdit scheme   1.0   18599
JBuilder scheme   .001   18500
ColdFusion scheme   1.0   18029
R Edit Mode - extensive version   0.1   17478
Advanced HTML edit mode   1.0   16211
Matlab Edit Mode   1.0   16073
jEdit XP icons   1.0   15234
XP icons for jEdit   1.1   14298
home · archives · chatbox · files · forums · news feeds · polls · projects · search · my account · links
Get jEdit at SourceForge.net. Fast, secure and Free Open Source software downloads PHP Language

All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest (c) 2003 by me