isa/mutter
1
0
Fork 0
mirror of https://github.com/brl/mutter.git synced 2024-11-25 09:30:45 -05:00
Code Issues Packages Projects Releases Wiki Activity

Corrected errors in theme-format.txt. Patch given by Jim Bowen. Fixes #92057.

Browse Source
This commit is contained in:
Arvind Samptur 2002-09-06 11:37:03 +00:00
parent 730715228a
commit aa91d9f78b
2 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ChangeLog
View File

@ -1,3 +1,8 @@
2002-09-06 Arvind Samptur <arvind.samptur@wipro.com>
* theme-format.txt : corrected some of the attributes
which were not in sync with theme-parser.c
Patch from Jim Bowen. #92057.
2002-09-05 Havoc Pennington <hp@pobox.com> 2002-09-05 Havoc Pennington <hp@pobox.com>
* configure.in: put ro back in ALL_LINGUAS * configure.in: put ro back in ALL_LINGUAS

6
theme-format.txt
View File

@ -26,7 +26,7 @@ Themes are in a simple XML-subset format.
rounded_bottom_right=true. rounded_bottom_right=true.
--> -->
<frame_geometry name="normal" has_title="true" title_size="medium"> <frame_geometry name="normal" has_title="true" title_scale="medium">
<distance name="left_width" value="6"/> <distance name="left_width" value="6"/>
<distance name="right_width" value="6"/> <distance name="right_width" value="6"/>
<distance name="bottom_height" value="7"/> <distance name="bottom_height" value="7"/>
@ -93,9 +93,9 @@ Themes are in a simple XML-subset format.
width="3" dash_on_length="2" dash_off_length="3"/> width="3" dash_on_length="2" dash_off_length="3"/>
<rectangle color="blend/gtk:fg[NORMAL]/gtk:bg[NORMAL]/0.7" <rectangle color="blend/gtk:fg[NORMAL]/gtk:bg[NORMAL]/0.7"
x="0" y="0" width="width - 1" height="height - 1" filled="true"/> x="0" y="0" width="width - 1" height="height - 1" filled="true"/>
<arc x="0" y="0" width="width - 1" height="height - 1" <arc color="dark gray" x="0" y="0" width="width - 1" height="height - 1"
filled="false" start_angle="30" extent_angle="180"/> filled="false" start_angle="30" extent_angle="180"/>
<tint color="orange" alpha="0.5" x1="0" y1="0" x2="0" y2="height"/> <tint color="orange" alpha="0.5" x="0" y="0" width="width" height="height"/>
<!-- may be vertical, horizontal, diagonal --> <!-- may be vertical, horizontal, diagonal -->
<gradient type="diagonal" <gradient type="diagonal"
x="10" y="30" width="width / 3" height="height / 4"> x="10" y="30" width="width / 3" height="height / 4">