Opened 5 years ago
Last modified 5 years ago
#19366 closed enhancement
[PATCH] Add filter box for Color Preferences — at Version 1
Reported by: | taylor.smock | Owned by: | team |
---|---|---|---|
Priority: | normal | Milestone: | 20.06 |
Component: | Core | Version: | |
Keywords: | Cc: |
Description (last modified by )
This just makes it slightly easier to find a color to change.
What this patch does:
- Adds a filter field
- Adds a toString method in
ColorEntry
. This callssuper.toString
and appends thegetDisplay()
string to it.
Change History (2)
comment:1 by , 5 years ago
Description: | modified (diff) |
---|
by , 5 years ago
Attachment: | 19366.patch added |
---|
Note:
See TracTickets
for help on using tickets.
Add a filter field along with a
toString
method (callssuper.toString
and then appends the display name of the color).