diff options
| author | Shaun McCance <shaunm@src.gnome.org> | 2003-12-30 10:10:46 +0000 |
|---|---|---|
| committer | Shaun McCance <shaunm@src.gnome.org> | 2003-12-30 10:10:46 +0000 |
| commit | ed524d765b3e08af4249f12acba669404ea782fe (patch) | |
| tree | 001001759241d5da960bb196d0a305b39b82276e /data | |
| parent | 5e563d8d2432d7e33ae9beca97b73eaf45e4dca1 (diff) | |
| download | yelp-ed524d765b3e08af4249f12acba669404ea782fe.tar.gz | |
- Move Applets into Applications. - Accomodote non-standard
* data/toc.xml.in:
- Move Applets into Applications.
- Accomodote non-standard GNOME|Applications|Accessories.
* src/yelp-theme.c:
- Don't be an idiot. Use snprintf.
* src/yelp-window.c:
- Make the busy cursor go away when erroring out.
* stylesheets/db2html-html.xsl:
- Make admonitions use the only theme color we have for now.
* stylesheets/db2html-list.xsl:
- Don't bold varlistentry/term. I might change this back.
Diffstat (limited to 'data')
| -rw-r--r-- | data/toc.xml.in | 22 |
1 files changed, 14 insertions, 8 deletions
diff --git a/data/toc.xml.in b/data/toc.xml.in index b39eaaa6..9207ea1c 100644 --- a/data/toc.xml.in +++ b/data/toc.xml.in @@ -9,14 +9,6 @@ <category>GNOME</category> <category>GNOME|Core Desktop</category> <category>GNOME|Desktop</category> - <category>GNOME|Applets</category> - <category>GNOME|Applets|Amusement</category> - <category>GNOME|Applets|Clock</category> - <category>GNOME|Applets|Monitors</category> - <category>GNOME|Applets|Multimedia</category> - <category>GNOME|Applets|Network</category> - <category>GNOME|Applets|Utility</category> - <category>GNOME|Graphics</category> <category>GNOME|Settings</category> <category>GNOME|System</category> <category>GNOME|Other</category> @@ -33,6 +25,19 @@ <_title>Applications</_title> <category>GNOME|Applications</category> + <category>GNOME|Applications|Accessories</category> + + <toc id="Applets"> + <_title>Applets</_title> + + <category>GNOME|Applets</category> + <category>GNOME|Applets|Amusement</category> + <category>GNOME|Applets|Clock</category> + <category>GNOME|Applets|Monitors</category> + <category>GNOME|Applets|Multimedia</category> + <category>GNOME|Applets|Network</category> + <category>GNOME|Applets|Utility</category> + </toc> <toc id="Games"> <_title>Games and Entertainment</_title> @@ -117,6 +122,7 @@ <category>Applications|Multimedia|Video|Editing</category> <category>Applications|Multimedia|Video|Other</category> <category>Applications|Multimedia|Other</category> + <category>GNOME|Graphics</category> <category>GNOME|Multimedia</category> </toc> |