Skip to main content
diff options
Diffstat (limited to 'org.eclipse.ui.intro/')
1 files changed, 8 insertions, 0 deletions
diff --git a/org.eclipse.ui.intro/ b/org.eclipse.ui.intro/
index d76cbfd18..ca26798bd 100644
--- a/org.eclipse.ui.intro/
+++ b/org.eclipse.ui.intro/
@@ -73,6 +73,11 @@
! property starts with a ".", then this property applies to this whole page,
! and to any page that inherits the properties of this page. So in effect,
! this property becomes like a shared property.
+! A short form of the property that uses element id can be used:
+! <pageId.<elementId>.property = value
+! Use this for elements that do not have fixed path (when late target
+! path resolution is used).
! Flag to display link description in a given page. Default is true.
<pageId>.show-link-description = true/false
@@ -153,6 +158,9 @@
! does not have a bold property explicitly set.
bold-style-id = <style id of child subtitle Text element>
+ ! Color for separator elements:
+ <pageId>.separator.fg = #rrggbb hex

Back to the top