Cursor theme switching

src/extension.js

@@ -28,6 +28,7 @@ const { SettingsManager } = Me.imports.modules.SettingsManager;
 const { Timer } = Me.imports.modules.Timer;
 const { GtkThemer } = Me.imports.modules.GtkThemer;
 const { ShellThemer } = Me.imports.modules.ShellThemer;
+const { CursorThemer } = Me.imports.modules.CursorThemer;
 const { Backgrounder } = Me.imports.modules.Backgrounder;
 const { Commander } = Me.imports.modules.Commander;
 
@@ -43,6 +44,7 @@ var settingsManager = null;
 var timer = null;
 var gtkThemer = null;
 var shellThemer = null;
+var cursorThemer = null;
 var backgrounder = null;
 var commander = null;
 
@@ -60,6 +62,7 @@ function enable() {
 		timer = new Timer();
 		gtkThemer = new GtkThemer();
 		shellThemer = new ShellThemer();
+		cursorThemer = new CursorThemer();
 		backgrounder = new Backgrounder();
 		commander = new Commander();
 
@@ -67,6 +70,7 @@ function enable() {
 		timer.enable();
 		gtkThemer.enable();
 		shellThemer.enable();
+		cursorThemer.enable();
 		backgrounder.enable();
 		commander.enable();
 
@@ -81,6 +85,7 @@ function disable() {
 
 	gtkThemer.disable();
 	shellThemer.disable();
+	cursorThemer.disable();
 	backgrounder.disable();
 	commander.disable();
 	timer.disable();
@@ -90,6 +95,7 @@ function disable() {
 	timer = null;
 	gtkThemer = null;
 	shellThemer = null;
+	cursorThemer = null;
 	backgrounder = null;
 	commander = null;
 	log_debug('Extension disabled.');