Modify ↓

Ticket #2726 (closed defect: fixed)

Opened 3 years ago

Last modified 3 years ago

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

Reported by: Bananeweizen Owned by: team
Priority: minor 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

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

Change History

Changed 3 years ago by Bananeweizen

Patch

comment:1 Changed 3 years ago by Bananeweizen

  • Summary changed from patch for plugin preferences having UI bugs with Nimbus look and feel to [PATCH] plugin preferences having UI bugs with Nimbus look and feel

comment:2 Changed 3 years ago by stoecker

  • Status changed from new to closed
  • Resolution set to fixed

In r1672.

View ↑

Add a comment

Modify Ticket

Change Properties
<Author field>
Action
as closed
as The resolution will be set. Next status will be 'closed'
The resolution will be deleted. Next status will be 'reopened'
Author


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

Attachments ↑
 
Note: See TracTickets for help on using tickets.