Modify

Opened 10 years ago

Closed 10 years ago

#2726 closed defect (fixed)

[PATCH] plugin preferences having UI bugs with Nimbus look and feel

Reported by: Bananeweizen Owned by: team
Priority: minor Milestone:
Component: Core Version:
Keywords: Cc:

Description

Select Nimbus Look and Feel (must Java 1.6).
Restart.
Open plugin preferences.

The plugin descriptions have white background instead of the standard gray background color. Attached patch fixes this by adding a background color to the HTML content of the JEditPane and by replacing an empty border with an inset.

I checked for side effects with all standard look and feels and did not notice any.

Patch root is Eclipse project.

Attachments (1)

PluginSelection.java.patch (1.7 KB) - added by Bananeweizen 10 years ago.
Patch

Download all attachments as: .zip

Change History (3)

Changed 10 years ago by Bananeweizen

Attachment: PluginSelection.java.patch added

Patch

comment:1 Changed 10 years ago by Bananeweizen

Summary: patch for plugin preferences having UI bugs with Nimbus look and feel[PATCH] plugin preferences having UI bugs with Nimbus look and feel

comment:2 Changed 10 years ago by stoecker

Resolution: fixed
Status: newclosed

In r1672.

Modify Ticket

Change Properties
Set your email in Preferences
Action
as closed The owner will remain team.
as The resolution will be set.
The resolution will be deleted.

Add Comment


E-mail address and name can be saved in the Preferences.

 
Note: See TracTickets for help on using tickets.