18
18
<title>Separator</title>
19
<p>Adds a seperator or space between panel items.</p>
22
21
<section id="properties">
23
22
<title>Properties</title>
26
<title>Separator's properties dialog</title>
24
<title>Separator dialog</title>
27
25
<media type="image" src="figures/separator.png" mime="image/png" style="right"/>
28
<section id="appearance">
29
<title>Appearance</title>
31
You can control the appearance of individual panel seperators through these settings.
37
Various styles can be applied to the panel separator.
43
<p><gui>Transparent</gui></p>
50
The separator is invisible.
57
<p><gui>Separator</gui></p>
64
A dividing line is inserted into the separator.
71
<p><gui>Handle</gui></p>
78
Three lines are inserted into the center of the separator.
85
<p><gui>Dots</gui></p>
92
Dots are shown across the separator.
99
<p><gui>New Line</gui></p>
106
Moves plugins that are to the right of the seperator into a new line.
107
Use this if you do not want to create a new panel, but need more space
118
<title><gui>Expand</gui></title>
120
This expands the length of the seperator.
31
128
<section id="theming">
32
<title>Style Properties</title>
129
<title>Theming Properties</title>