mozilla
/
gecko-dev
зеркало из https://github.com/mozilla/gecko-dev.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Launch prefs panel in menu.

This commit is contained in:
mgalli%geckonnection.com 2005-08-26 17:24:09 +00:00
Родитель 3a3f927739
Коммит 1bd8cada0c
1 изменённых файлов: 4 добавлений и 1 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

5
minimo/chrome/content/minimo.xul
Просмотреть файл

@ -80,13 +80,16 @@
<command id="cmd_BrowserReload" oncommand="BrowserReload()" />
<command id="cmd_BrowserZoomPlus" oncommand="BrowserResetZoomPlus()" />
<command id="cmd_BrowserZoomMinus" oncommand="BrowserResetZoomMinus()" />
<command id="cmd_DoPanelPreferences" oncommand="DoPanelPreferences()" />
<toolbar id="nav-bar">
<menubar class="chromeclass-menubar">
<menu id="menu-button" >
<menupopup>
<menuitem id="command_BrowserOpenTab" command="cmd_BrowserOpenTab" label="New Tab" />
<menuitem id="command_ViewOptions" type="checkbox" command="cmd_ViewOptions" label="View" />
<menuitem id="command_DoPanelPreferences" command="cmd_DoPanelPreferences" label="&prefs.label;" />
<!-- separator for now in CSS - need to redesign -->
<menuitem id="command_ViewOptions" style='border-top:1px solid black' type="checkbox" command="cmd_ViewOptions" label="View Options" />
<!--
<menu id="SSR" label="SSR">