File: shell.ui

package info (click to toggle)
gnome-tweaks 3.30.2-1
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 2,372 kB
  • sloc: python: 3,479; makefile: 5
file content (27 lines) | stat: -rw-r--r-- 887 bytes parent folder | download 
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
 
<?xml version="1.0" encoding="UTF-8"?>
<interface domain="gnome-tweaks">
  <!-- interface-requires gtk+ 3.6 -->
  <menu id="appmenu">
   <section>
      <item>
	<attribute name="label" translatable="yes">_Reset to Defaults</attribute>
	<attribute name="action">app.reset</attribute>
      </item>
      <item>
	<attribute name="label" translatable="yes">Disable All Shell Extensions</attribute>
	<attribute name="action">app.disable_extension</attribute>
      </item>	      
   </section>
   <section>
      <item>
	<attribute name="label" translatable="yes">_About</attribute>
	<attribute name="action">app.about</attribute>
      </item>	      
      <item>
	<attribute name="label" translatable="yes">_Quit</attribute>
	<attribute name="action">app.quit</attribute>
	<attribute name="accel">&lt;Primary&gt;q</attribute>
      </item>	      
   </section>	    
  </menu>
</interface>