/usr/share/doc/gnat-gps/html/Creating-themes.html is in gnat-gps-doc 5.0-6.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 | <html lang="en">
<head>
<title>Creating themes - Using the GNAT Programming Studio</title>
<meta http-equiv="Content-Type" content="text/html">
<meta name="description" content="Using the GNAT Programming Studio">
<meta name="generator" content="makeinfo 4.13">
<link title="Top" rel="start" href="index.html#Top">
<link rel="up" href="Customizing-through-XML-and-Python-files.html#Customizing-through-XML-and-Python-files" title="Customizing through XML and Python files">
<link rel="prev" href="Preferences-support-in-custom-files.html#Preferences-support-in-custom-files" title="Preferences support in custom files">
<link rel="next" href="Defining-new-search-patterns.html#Defining-new-search-patterns" title="Defining new search patterns">
<link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
<!--
Copyright (C) 2002-2010 AdaCore.
This document is free; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3 of the License, or
(at your option) any later version.
This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License along
with this program; if not, see `http://www.gnu.org/licenses/'.-->
<meta http-equiv="Content-Style-Type" content="text/css">
<style type="text/css"><!--
pre.display { font-family:inherit }
pre.format { font-family:inherit }
pre.smalldisplay { font-family:inherit; font-size:smaller }
pre.smallformat { font-family:inherit; font-size:smaller }
pre.smallexample { font-size:smaller }
pre.smalllisp { font-size:smaller }
span.sc { font-variant:small-caps }
span.roman { font-family:serif; font-weight:normal; }
span.sansserif { font-family:sans-serif; font-weight:normal; }
pre.smallexample {background-color:rgb(240,240,240);
font-family: courier new,courier,fixed;
font-size: 14px;
margin: 0px 40px 0px 40px;
border-width: 1px 2px 2px 1px;
border-top-style: dotted;
border-left-style: dotted;
border-right-style: solid;
border-bottom-style: solid;
border-color: black;}
code {color:black;
font-family: courier new,courier,fixed;
font-size: 14px;}
body {font-family: arial,helvetica,sans-serif;
font-size: 16px;
max-width: 800px;
text-align: justify}
samp {font-family: courier new,courier,fixed;
font-size: 14px}
--></style>
</head>
<body>
<div class="node">
<a name="Creating-themes"></a>
<p>
Next: <a rel="next" accesskey="n" href="Defining-new-search-patterns.html#Defining-new-search-patterns">Defining new search patterns</a>,
Previous: <a rel="previous" accesskey="p" href="Preferences-support-in-custom-files.html#Preferences-support-in-custom-files">Preferences support in custom files</a>,
Up: <a rel="up" accesskey="u" href="Customizing-through-XML-and-Python-files.html#Customizing-through-XML-and-Python-files">Customizing through XML and Python files</a>
<hr>
</div>
<h4 class="subsection">16.5.10 Creating themes</h4>
<p><a name="index-themes-creation-819"></a><a name="index-g_t_003ctheme_003e-820"></a><!-- -->
<p class="noindent">You can create your own themes and share them between users. You can then
selectively chose which themes they want to activate through the preferences
dialog (see <a href="GPS-Themes.html#GPS-Themes">GPS Themes</a>).
<p>Creating new themes is done in the customization files through
the <code><theme></code> tag.
<p>This tag accepts a number of attributes:
<dl>
<dt><code>name (mandatory)</code><dd>This is the name of the theme, as it will appear in the preferences dialog
<br><dt><code>description (optional)</code><dd>This text should explain what the text does. It appears in the preferences
dialog when the user selects that theme.
<br><dt><code>category (optional, default is General)</code><dd>This is the name of the category in which the theme should be presented in
the preferences dialog. Categories are currently only used to organize themes
graphically. New categories are created automatically if you chose one that
doesn't exist yet.
</dl>
<p>This tag accepts any other customization tag that can be put in the
customization files. This includes setting preferences (<code><pref></code>,
defining key bindings (<code><key</code>), defining menus (<code><menu></code>), <small class="dots">...</small>
<p>If the same theme is defined in multiple locations (multiple times in the
same customization file or in different files), their effects will be
cumulated. The first definition of the theme seen by GPS will set the
description and category for this theme.
<p>All the children tags of the theme will be executed when the theme is activated
through the preferences dialog. Although there is no strict ordering in which
order the children will be executed, the global order is the same as for the
customization files themselves: first the predefined themes of GPS, then the
ones defined in customization files found through the <code>GPS_CUSTOM_PATH</code>
directories, and finally the ones defined in files found in the user's
own GPS directory.
<pre class="smallexample"> <?xml version="1.0" ?>
<my-plug-in>
<theme name="my theme" description="Create a new menu">
<menu action="my action"><title>/Edit/My Theme Menu</title></menu>
</theme>
</my-plug-in>
</pre>
<!-- -->
</body></html>
|