From 40ac461ca1079dc61f96d6e2213ccd7840c1f2b8 Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremy@osmosoft.com>
Date: Sun, 28 Apr 2013 18:16:22 +0100
Subject: [PATCH] Give plugins a pluginType field

Ordinary plugins have the type "plugin", we'll also have "theme" and
"language"
---
 boot/boot.js                            | 7 +++----
 themes/tiddlywiki/snowwhite/plugin.info | 3 ++-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/boot/boot.js b/boot/boot.js
index 89c88b8f2..ce656e09d 100644
--- a/boot/boot.js
+++ b/boot/boot.js
@@ -1038,10 +1038,9 @@ $tw.loadPluginFolder = function(filepath,excludeRegExp) {
 			title: pluginInfo.title,
 			type: "application/json",
 			plugin: "yes",
-			text: JSON.stringify(pluginInfo,null,4)
-		}
-		if("pluginPriority" in pluginInfo) {
-			fields.pluginPriority = pluginInfo.pluginPriority;
+			text: JSON.stringify(pluginInfo,null,4),
+			pluginPriority: pluginInfo.pluginPriority,
+			pluginType: pluginInfo.pluginType || "plugin"
 		}
 		return fields;
 	} else {
diff --git a/themes/tiddlywiki/snowwhite/plugin.info b/themes/tiddlywiki/snowwhite/plugin.info
index 3a9bb82f6..10a90aca0 100644
--- a/themes/tiddlywiki/snowwhite/plugin.info
+++ b/themes/tiddlywiki/snowwhite/plugin.info
@@ -3,5 +3,6 @@
 	"description": "A simple, plain layout",
 	"author": "JeremyRuston",
 	"version": "0.0.0",
-	"coreVersion": ">=5.0.0"
+	"coreVersion": ">=5.0.0",
+	"pluginType": "theme"
 }