I've got some enhancement suggestion for property sheet. It's useful
probably only for Form Editor, but it would be nice if the properties could
be visualy marked somehow (e.g. to highlight properties changed by the
user). One option would be to make PropertySheet extendable in properties
visualization. In the simplest form, it could have some method to be
overriden in subclasses to modify the visual componenents (SheetButton,
PropertyDisplayer) for individual properties. This method would be called
when the sheet tab is created and when the value of property changes.
Discussed on nbdev, where also Jesse wrote:
Do you just want to boldface some properties? Why not set the display name of
the property to e.g. "<html><b>enabled</b>"? Then Swing will paint it bold.
Actually the font choice Swing uses to show HTML can be pretty ugly, but as a
workaround until Swing's painting improves, the property sheet could look for
this specific pattern and manually set the font to bold and display the text
normally. Anything unusual would be rendered by Swing however it normally
Target milestone -> 3.3
Target milestone -> 3.3.1.
Looks like this will need quite a piece of work. I'd like to wait to
4.0, and desing this change along with other visual changes of prop sheet.
I shouldn't have to change the fonts in a zillion different places to
get the display I like. I shouldn't have to change indentation sizes
in a bunch of different places unless I want them to all be
different. There should be some root where I can say, "use this font
at this size in this color unless I tell you otherwise!". Grrr.
Fixed - property sheet rewrite integrated. Can now either
use html or a custom inplace editor.
Cannot use custom in-place editor for changing display name of the
property. Or yes?
Surrounding property display name in <html><b> and </b> works, but if
this is the supported way, the html tags should be filtered out when
the property display name is used elsewhere, e.g. in custom property
editor dialog title. Should I file a separate bug for this?
forgot to reopen, see above
BTW, is the bold property name the right way for marking properties
set to non-default values?
Reminder, I should be integrating the HTML renderer on Monday, so we can close this.
Html renderer integrated, non-default properties in bold work. Tomas, passing this issue
back to you to do as you wish with.
Node.Property now has getHtmlDisplayName() method that is used to
highlight changed properties. Closing this as fixed.