gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-28 02:12:27 +01:00
Code Issues Projects Releases Wiki Activity

Remove "venkman" from :dialog.

Browse Source 
Venkman is sadly deceased.
This commit is contained in:
Doug Kearns
2015-03-27 01:51:48 +11:00
parent aca9da828c
commit 0d4df875d5
2 changed files with 5 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
pentadactyl/NEWS
View File

@@ -1,6 +1,7 @@
1.2pre: 1.2pre:
• Remove 'jsdebugger' option. • Removed defunct 'PrivateMode' autocommand.
• Remove defunct 'PrivateMode' autocommand. • Removed 'jsdebugger' option.
• Removed "venkman" from :dialog.
1.1: 1.1:
• Vim runtime files: • Vim runtime files:
@@ -8,7 +9,7 @@
all Vim related files. all Vim related files.
- Vimball packages are no longer available. - Vimball packages are no longer available.
• Removed <F1> and <A-F1> mappings. • Removed <F1> and <A-F1> mappings.
• Add :private command. • Added :private command.
• Better per-window private browsing support. • Better per-window private browsing support.
• Removed 'private' option. • Removed 'private' option.

5
pentadactyl/content/config.js
View File

@@ -61,10 +61,7 @@ var Config = Module("config", ConfigBase, {
searchengines: ["Manage installed search engines", searchengines: ["Manage installed search engines",
function () { window.openDialog("chrome://browser/content/search/engineManager.xul", "_blank", "chrome,dialog,modal,centerscreen"); }], function () { window.openDialog("chrome://browser/content/search/engineManager.xul", "_blank", "chrome,dialog,modal,centerscreen"); }],
selectionsource: ["View selection source", selectionsource: ["View selection source",
function () { modules.buffer.viewSelectionSource(); }], function () { modules.buffer.viewSelectionSource(); }]
venkman: ["The JavaScript debugger",
function () { dactyl.assert("start_venkman" in window, "Venkman is not installed"); window.start_venkman() },
() => "start_venkman" in window]
}, },
removeTab: function removeTab(tab) { removeTab: function removeTab(tab) {