This file is indexed.

/usr/share/doc/gnat-gps/html/Creating-themes.html is in gnat-gps-doc 5.0-16.

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
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<!-- 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 2 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/.

A copy of the license is included in the section entitled
"GNU General Public License". -->
<!-- Created by GNU Texinfo 5.1, http://www.gnu.org/software/texinfo/ -->
<head>
<title>Using the GNAT Programming Studio: Creating themes</title>

<meta name="description" content="Using the GNAT Programming Studio: Creating themes">
<meta name="keywords" content="Using the GNAT Programming Studio: Creating themes">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="makeinfo">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<link href="index.html#Top" rel="start" title="Top">
<link href="Index-table.html#Index-table" rel="index" title="Index table">
<link href="Customizing-through-XML-and-Python-files.html#Customizing-through-XML-and-Python-files" rel="up" title="Customizing through XML and Python files">
<link href="Defining-new-search-patterns.html#Defining-new-search-patterns" rel="next" title="Defining new search patterns">
<link href="Preferences-support-in-custom-files.html#Preferences-support-in-custom-files" rel="previous" title="Preferences support in custom files">
<style type="text/css">
<!--
   

a.summary-letter {text-decoration: none}
blockquote.smallquotation {font-size: smaller}
div.display {margin-left: 3.2em}
div.example {margin-left: 3.2em}
div.indentedblock {margin-left: 3.2em}
div.lisp {margin-left: 3.2em}
div.smalldisplay {margin-left: 3.2em}
div.smallexample {margin-left: 3.2em}
div.smallindentedblock {margin-left: 3.2em; font-size: smaller}
div.smalllisp {margin-left: 3.2em}
kbd {font-style:oblique}
pre.display {font-family: inherit}
pre.format {font-family: inherit}
pre.menu-comment {font-family: serif}
pre.menu-preformatted {font-family: serif}
pre.smalldisplay {font-family: inherit; font-size: smaller}
pre.smallexample {font-size: smaller}
pre.smallformat {font-family: inherit; font-size: smaller}
pre.smalllisp {font-size: smaller}
span.nocodebreak {white-space:nowrap}
span.nolinebreak {white-space:nowrap}
span.roman {font-family:serif; font-weight:normal}
span.sansserif {font-family:sans-serif; font-weight:normal}
ul.no-bullet {list-style: none}
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 lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
<a name="Creating-themes"></a>
<div class="header">
<p>
Next: <a href="Defining-new-search-patterns.html#Defining-new-search-patterns" accesskey="n" rel="next">Defining new search patterns</a>, Previous: <a href="Preferences-support-in-custom-files.html#Preferences-support-in-custom-files" accesskey="p" rel="previous">Preferences support in custom files</a>, Up: <a href="Customizing-through-XML-and-Python-files.html#Customizing-through-XML-and-Python-files" accesskey="u" rel="up">Customizing through XML and Python files</a> &nbsp; [<a href="Index-table.html#Index-table" title="Index" rel="index">Index</a>]</p>
</div>
<hr>
<a name="Creating-themes-1"></a>
<h4 class="subsection">16.5.10 Creating themes</h4>
<a name="index-themes-creation"></a>
<a name="index-_003ctheme_003e"></a>

<p>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>
<p>Creating new themes is done in the customization files through
the <code>&lt;theme&gt;</code> tag.
</p>
<p>This tag accepts a number of attributes:
</p>
<dl compact="compact">
<dt><code>name (mandatory)</code></dt>
<dd><p>This is the name of the theme, as it will appear in the preferences dialog
</p>
</dd>
<dt><code>description (optional)</code></dt>
<dd><p>This text should explain what the text does. It appears in the preferences
dialog when the user selects that theme.
</p>
</dd>
<dt><code>category (optional, default is General)</code></dt>
<dd><p>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&rsquo;t exist yet.
</p>
</dd>
</dl>

<p>This tag accepts any other customization tag that can be put in the
customization files. This includes setting preferences (<code>&lt;pref&gt;</code>,
defining key bindings (<code>&lt;key</code>), defining menus (<code>&lt;menu&gt;</code>), &hellip;
</p>
<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>
<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&rsquo;s
own GPS directory.
</p>
<div class="smallexample">
<pre class="smallexample">&lt;?xml version=&quot;1.0&quot; ?&gt;
&lt;my-plug-in&gt;
   &lt;theme name=&quot;my theme&quot; description=&quot;Create a new menu&quot;&gt;
       &lt;menu action=&quot;my action&quot;&gt;&lt;title&gt;/Edit/My Theme Menu&lt;/title&gt;&lt;/menu&gt;
   &lt;/theme&gt;
&lt;/my-plug-in&gt;
</pre></div>

<hr>
<div class="header">
<p>
Next: <a href="Defining-new-search-patterns.html#Defining-new-search-patterns" accesskey="n" rel="next">Defining new search patterns</a>, Previous: <a href="Preferences-support-in-custom-files.html#Preferences-support-in-custom-files" accesskey="p" rel="previous">Preferences support in custom files</a>, Up: <a href="Customizing-through-XML-and-Python-files.html#Customizing-through-XML-and-Python-files" accesskey="u" rel="up">Customizing through XML and Python files</a> &nbsp; [<a href="Index-table.html#Index-table" title="Index" rel="index">Index</a>]</p>
</div>



</body>
</html>