← Back to branch summary

~ubuntu-branches/ubuntu/precise/kompozer/precise

« back to all changes in this revision

Viewing changes to mozilla/extensions/venkman/resources/content/venkman-menus.xul

  • Committer: Bazaar Package Importer
  • Author(s): Anthony Yarusso
  • Date: 2007-08-27 01:11:03 UTC
  • Revision ID: james.westby@ubuntu.com-20070827011103-2jgf4s6532gqu2ka
Tags: upstream-0.7.10
Import upstream version 0.7.10

Show diffs side-by-side

added added

removed removed

Lines of Context:
mozilla/extensions/venkman/resources/content/venkman-menus.xul
 
1
<?xml version="1.0"?>
 
2
 
 
3
<!--
 
4
   -
 
5
   - The contents of this file are subject to the Mozilla Public License
 
6
   - Version 1.1 (the "License"); you may not use this file except in
 
7
   - compliance with the License. You may obtain a copy of the License at
 
8
   - http://www.mozilla.org/MPL/ 
 
9
   - 
 
10
   - Software distributed under the License is distributed on an "AS IS" basis,
 
11
   - WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
 
12
   - for the specific language governing rights and limitations under the
 
13
   - License. 
 
14
   -
 
15
   - The Original Code is The JavaScript Debugger
 
16
   - 
 
17
   - The Initial Developer of the Original Code is
 
18
   - Netscape Communications Corporation
 
19
   - Portions created by Netscape are
 
20
   - Copyright (C) 1998 Netscape Communications Corporation.
 
21
   - All Rights Reserved.
 
22
   -
 
23
   - Alternatively, the contents of this file may be used under the
 
24
   - terms of the GNU Public License (the "GPL"), in which case the
 
25
   - provisions of the GPL are applicable instead of those above.
 
26
   - If you wish to allow use of your version of this file only
 
27
   - under the terms of the GPL and not to allow others to use your
 
28
   - version of this file under the MPL, indicate your decision by
 
29
   - deleting the provisions above and replace them with the notice
 
30
   - and other provisions required by the GPL.  If you do not delete
 
31
   - the provisions above, a recipient may use your version of this
 
32
   - file under either the MPL or the GPL.
 
33
   -
 
34
   - Contributor(s):
 
35
   -  Robert Ginda, <rginda@netscape.com>, original author
 
36
   -
 
37
   -->
 
38
 
 
39
<!DOCTYPE overlay SYSTEM "chrome://venkman/locale/venkman.dtd" >
 
40
 
 
41
<overlay id="venkman-menu-overlay"
 
42
    xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
 
43
 
 
44
  <overlaytarget id="menu-overlay-target">
 
45
 
 
46
    <!-- Commands -->
 
47
    <commandset id="venkman-commands">
 
48
 
 
49
      <!-- Edit commands -->
 
50
      <commandset id="selectEditMenuItems"/>
 
51
      <commandset id="globalEditMenuItems"/>
 
52
      <commandset id="undoEditMenuItems"/>
 
53
      <commandset id="clipboardEditMenuItems"/>
 
54
      <command id="cmd_undo"/>
 
55
      <command id="cmd_redo"/>
 
56
      <command id="cmd_cut"/>
 
57
      <command id="cmd_copy"/>
 
58
      <command id="cmd_paste"/>
 
59
      <command id="cmd_delete"/>
 
60
      <command id="cmd_selectAll"/>
 
61
 
 
62
      <!-- Tasks commands, from overlay -->
 
63
      <commandset id="tasksCommands"/>
 
64
    </commandset>
 
65
 
 
66
    <!-- Keys -->
 
67
 
 
68
    <keyset id="venkmanKeys">
 
69
      <key id="key:reloadui" modifiers="accel alt" key="R"
 
70
        oncommand="if (typeof cmdReloadUI =='function') cmdReloadUI(); else window.location.href = window.location.href;"/>
 
71
 
 
72
      <!-- Edit keys -->
 
73
      <key id="key_undo"/>
 
74
      <key id="key_redo"/>
 
75
      <key id="key_cut"/>
 
76
      <key id="key_copy"/>
 
77
      <key id="key_paste"/>
 
78
      <key id="key_delete"/>
 
79
      <key id="key_selectAll"/>
 
80
 
 
81
      <!-- Tasks keys, from overlay -->
 
82
      <keyset id="tasksKeys"/>
 
83
    </keyset>
 
84
 
 
85
    <!-- Main menu bar -->
 
86
    <toolbox flex="1" id="main-toolbox" collapsed="true">
 
87
      <menubar id="mainmenu" persist="collapsed" collapsed="true"
 
88
        grippytooltiptext="&MenuBar.tooltip;">
 
89
 
 
90
        <!-- File menu placeholder, see venkman-menus.js -->
 
91
        <menu id="mainmenu:file"/>
 
92
  
 
93
        <!-- Edit menu placeholder, see venkman-menus.js -->
 
94
        <menu id="mainmenu:edit"/>
 
95
  
 
96
        <!-- View menu placeholder, see venkman-menus.js -->
 
97
        <menu id="mainmenu:view"/>
 
98
  
 
99
        <!-- Debug menu placeholder, see venkman-menus.js -->
 
100
        <menu id="mainmenu:debug"/>
 
101
 
 
102
        <!-- Profile menu placeholder, see venkman-menus.js -->
 
103
        <menu id="mainmenu:profile"/>
 
104
 
 
105
        <!-- Tasks menu -->
 
106
        <menu id="tasksMenu"/>
 
107
 
 
108
        <!-- Tasks menu -->
 
109
        <menu id="windowMenu"/>
 
110
 
 
111
        <!-- Tools menu placeholder, see venkman-menus.js -->
 
112
        <!--<menu id="mainmenu:tools"/>-->
 
113
        
 
114
        <!-- Help menu -->
 
115
        <!-- Mac expects a help menu with this ID, and there is nothing we can
 
116
             do about it. -->
 
117
        <menu id="menu_Help"/>
 
118
      </menubar>  
 
119
 
 
120
      <!-- Debug toolbar -->
 
121
      <toolbar id="maintoolbar-outer" collapsed="true"
 
122
        grippytooltiptext="&DebugBar.tooltip;">
 
123
        <hbox id="maintoolbar">
 
124
        </hbox>
 
125
    <!--
 
126
        <textbox id="paint-hack"
 
127
          style="border: none; background: none; height: 0px; width: 0px"/>
 
128
    -->
 
129
      </toolbar>
 
130
 
 
131
    </toolbox>  
 
132
 
 
133
  </overlaytarget>
 
134
 
 
135
  <!-- Statusbar (hey, it's /almost/ a menu) -->
 
136
  <overlaytarget id="statusbar-overlay-target">
 
137
    <statusbar class="chromeclass-status" id="status-bar" flex="1">
 
138
      <statusbarpanel id="component-bar"/>
 
139
      <statusbarpanel id="status-text" label="" flex="1"
 
140
        crop="right"/>
 
141
<!--
 
142
      <statusbarpanel class="statusbarpanel-iconic" id="offline-status"
 
143
        hidden="true" offline="true"/>
 
144
-->
 
145
    </statusbar>
 
146
  </overlaytarget>
 
147
 
 
148
</overlay>
 
149