1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-23 23:42:27 +01:00

calling :pagestyle without an arg should restore the 'default' page style

This commit is contained in:
Doug Kearns
2008-08-10 06:29:43 +00:00
parent 8928b58686
commit cde09bc664
2 changed files with 12 additions and 7 deletions

View File

@@ -466,9 +466,12 @@ liberator.Buffer = function () //{{{
"Select the author style sheet to apply", "Select the author style sheet to apply",
function (args) function (args)
{ {
if (!args) // TODO: move alternate stylesheet listing function here
var stylesheets = liberator.completion.stylesheet()[1].map(function (s) { return s[0]; });
if (args && !stylesheets.some(function (s) { return s == args; }))
{ {
liberator.echoerr("E471: Argument required"); liberator.echoerr("Exxx: No matching stylesheet");
return; return;
} }

View File

@@ -218,7 +218,7 @@ Set full zoom value of current web page. Zoom value can be between 1 and
________________________________________________________________________________ ________________________________________________________________________________
|:zo| |:zoom| |:zoom| |:zo|
||:zo[om][!] [value]|| + ||:zo[om][!] [value]|| +
||:zo[om][!] +{value} | -{value}|| + ||:zo[om][!] +{value} | -{value}|| +
________________________________________________________________________________ ________________________________________________________________________________
@@ -252,12 +252,14 @@ ________________________________________________________________________________
section:Alternate{nbsp}style{nbsp}sheets[stylesheet,style] section:Alternate{nbsp}style{nbsp}sheets[stylesheet,style]
Page authors may specify alternate style sheets for an HTML document. Users
can then switch between these various style sheets, selecting their favorite.
|:pagest| |:pagestyle| |:pagest| |:pagestyle|
||:pagest[yle] {style}|| + ||:pagest[yle] [stylesheet]|| +
________________________________________________________________________________ ________________________________________________________________________________
Select the author style sheet to apply. Page authors may specify alternate Select the author style sheet to apply. If [stylesheet] is not specified the
style sheets for an HTML document. Users can then switch between these various page's default stylesheet is used.
style sheets, selecting their favorite.
All author styling can be removed by setting the 'usermode' option. All author styling can be removed by setting the 'usermode' option.
________________________________________________________________________________ ________________________________________________________________________________