mirror of
https://github.com/gryf/pentadactyl-pm.git
synced 2026-03-07 21:05:45 +01:00
add fold markers
This commit is contained in:
@@ -2,11 +2,11 @@
|
|||||||
* also includes methods for dealing with
|
* also includes methods for dealing with
|
||||||
* keywords and search engines
|
* keywords and search engines
|
||||||
*/
|
*/
|
||||||
function Bookmarks()
|
function Bookmarks()//{{{
|
||||||
{
|
{
|
||||||
////////////////////////////////////////////////////////////////////////////////
|
////////////////////////////////////////////////////////////////////////////////
|
||||||
////////////////////// PRIVATE SECTION /////////////////////////////////////////
|
////////////////////// PRIVATE SECTION /////////////////////////////////////////
|
||||||
////////////////////////////////////////////////////////////////////////////////
|
/////////////////////////////////////////////////////////////////////////////{{{
|
||||||
const search_service = Components.classes["@mozilla.org/browser/search-service;1"].
|
const search_service = Components.classes["@mozilla.org/browser/search-service;1"].
|
||||||
getService(Components.interfaces.nsIBrowserSearchService);
|
getService(Components.interfaces.nsIBrowserSearchService);
|
||||||
const rdf_service = Components.classes["@mozilla.org/rdf/rdf-service;1"].
|
const rdf_service = Components.classes["@mozilla.org/rdf/rdf-service;1"].
|
||||||
@@ -38,9 +38,9 @@ function Bookmarks()
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
////////////////////////////////////////////////////////////////////////////////
|
/////////////////////////////////////////////////////////////////////////////}}}
|
||||||
////////////////////// PUBLIC SECTION //////////////////////////////////////////
|
////////////////////// PUBLIC SECTION //////////////////////////////////////////
|
||||||
////////////////////////////////////////////////////////////////////////////////
|
/////////////////////////////////////////////////////////////////////////////{{{
|
||||||
/*
|
/*
|
||||||
* @return a new Array() of our bookmarks
|
* @return a new Array() of our bookmarks
|
||||||
*/
|
*/
|
||||||
@@ -261,10 +261,14 @@ function Bookmarks()
|
|||||||
}
|
}
|
||||||
return res;
|
return res;
|
||||||
}
|
}
|
||||||
}
|
//}}}
|
||||||
|
}//}}}
|
||||||
|
|
||||||
function History()
|
function History()//{{{
|
||||||
{
|
{
|
||||||
|
////////////////////////////////////////////////////////////////////////////////
|
||||||
|
////////////////////// PRIVATE SECTION /////////////////////////////////////////
|
||||||
|
/////////////////////////////////////////////////////////////////////////////{{{
|
||||||
const rdf_service = Components.classes["@mozilla.org/rdf/rdf-service;1"].
|
const rdf_service = Components.classes["@mozilla.org/rdf/rdf-service;1"].
|
||||||
getService( Components.interfaces.nsIRDFService );
|
getService( Components.interfaces.nsIRDFService );
|
||||||
const global_history_service = Components.classes["@mozilla.org/browser/global-history;2"].
|
const global_history_service = Components.classes["@mozilla.org/browser/global-history;2"].
|
||||||
@@ -314,9 +318,9 @@ function History()
|
|||||||
history.push([url, title]);
|
history.push([url, title]);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
////////////////////////////////////////////////////////////////////////////////
|
/////////////////////////////////////////////////////////////////////////////}}}
|
||||||
////////////////////// PUBLIC SECTION //////////////////////////////////////////
|
////////////////////// PUBLIC SECTION //////////////////////////////////////////
|
||||||
////////////////////////////////////////////////////////////////////////////////
|
/////////////////////////////////////////////////////////////////////////////{{{
|
||||||
/*
|
/*
|
||||||
* @return a new Array() of our bookmarks
|
* @return a new Array() of our bookmarks
|
||||||
*/
|
*/
|
||||||
@@ -340,11 +344,14 @@ function History()
|
|||||||
history.unshift([url, title]);
|
history.unshift([url, title]);
|
||||||
return true;
|
return true;
|
||||||
};
|
};
|
||||||
}
|
//}}}
|
||||||
|
}//}}}
|
||||||
|
|
||||||
|
function Marks()//{{{
|
||||||
function Marks()
|
|
||||||
{
|
{
|
||||||
|
////////////////////////////////////////////////////////////////////////////////
|
||||||
|
////////////////////// PRIVATE SECTION /////////////////////////////////////////
|
||||||
|
/////////////////////////////////////////////////////////////////////////////{{{
|
||||||
var marks = {};
|
var marks = {};
|
||||||
var pendingMarks = [];
|
var pendingMarks = [];
|
||||||
var appcontent = document.getElementById("appcontent");
|
var appcontent = document.getElementById("appcontent");
|
||||||
@@ -402,6 +409,9 @@ function Marks()
|
|||||||
return ok;
|
return ok;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/////////////////////////////////////////////////////////////////////////////}}}
|
||||||
|
////////////////////// PUBLIC SECTION //////////////////////////////////////////
|
||||||
|
/////////////////////////////////////////////////////////////////////////////{{{
|
||||||
this.add = function(mark)
|
this.add = function(mark)
|
||||||
{
|
{
|
||||||
var win = vimperator.getCurrentBuffer();
|
var win = vimperator.getCurrentBuffer();
|
||||||
@@ -516,6 +526,7 @@ function Marks()
|
|||||||
{
|
{
|
||||||
return this;
|
return this;
|
||||||
}
|
}
|
||||||
}
|
//}}}
|
||||||
|
}//}}}
|
||||||
|
|
||||||
// vim: set fdm=marker sw=4 ts=4 et:
|
// vim: set fdm=marker sw=4 ts=4 et:
|
||||||
|
|||||||
Reference in New Issue
Block a user