mirror of
https://github.com/Jermolene/TiddlyWiki5
synced 2024-11-19 00:04:51 +00:00
152fb798eb
This mechanism will only be triggered by changes to the stylesheet tiddlers themselves, and not to any dependencies that they might have. It'll stay that way for a while. The next thing is making the theme manager actually switch themes, forcing the right wiki change events to make the stylesheet manager update itself
24 lines
385 B
JavaScript
24 lines
385 B
JavaScript
/*\
|
|
title: $:/core/modules/themes.js
|
|
type: application/javascript
|
|
module-type: global
|
|
|
|
Manages themes and styling.
|
|
|
|
\*/
|
|
(function(){
|
|
|
|
/*jslint node: true, browser: true */
|
|
/*global $tw: false */
|
|
"use strict";
|
|
|
|
function ThemeManager(wiki) {
|
|
this.wiki = wiki;
|
|
// Unpack the current theme tiddlers
|
|
$tw.wiki.unpackPluginTiddlers("theme");
|
|
}
|
|
|
|
exports.ThemeManager = ThemeManager;
|
|
|
|
})();
|