Better API for extensions changing CSS

Rename the setter to reflect the fact that it's the stylesheet which is
changing

Add a getter to allow some useful checks
This commit is contained in:
Sardem FF7 2011-02-01 15:44:15 +01:00 committed by Owen W. Taylor
parent 703092f2c9
commit 36f3429ad2

View File

@ -208,13 +208,26 @@ function start() {
} }
/** /**
* setTheme * getThemeStylesheet:
*
* Get the theme CSS file that the shell will load
*
* Returns: A file path that contains the theme CSS,
* null if using the default
*/
function getThemeStylesheet()
{
return _css_stylesheet;
}
/**
* setThemeStylesheet:
* @css_stylesheet: A file path that contains the theme CSS, * @css_stylesheet: A file path that contains the theme CSS,
* set it to null to use the default * set it to null to use the default
* *
* Set the theme CSS file that the shell will load * Set the theme CSS file that the shell will load
*/ */
function setTheme(css_stylesheet) function setThemeStylesheet(css_stylesheet)
{ {
_css_stylesheet = css_stylesheet; _css_stylesheet = css_stylesheet;
} }