Merge pull request #3 from MaximKraev/gnome-3-12

Gnome 3.12 support was added

extension.js

@@ -33,7 +33,7 @@ function init() {
 }
 
 function enable() {
-  if(ExtensionUtils.versionCheck(['3.8', '3.10'], Config.PACKAGE_VERSION)) {
+  if(ExtensionUtils.versionCheck(['3.8', '3.10', '3.12'], Config.PACKAGE_VERSION)) {
     _destroy_hot_corners();
     // Hot corners may be re-created afterwards (for example, If there's a monitor change).
     // So we catch all changes.

metadata.json

@@ -1,11 +1,11 @@
 {
-  "_generated": "Generated by SweetTooth, do not edit", 
-  "description": "This extension disables the top left hot corners. You can still click on Activities or press the dedicated key to reach the overview. Won't work with other extensions modifying the Activities button and on fallback/flashback mode. On versions prior to 3.8, may not disable other hotcorners in multiscreen configurations.", 
-  "name": "No Topleft Hot Corner", 
+  "_generated": "Generated by SweetTooth, do not edit",
+  "description": "This extension disables the top left hot corners. You can still click on Activities or press the dedicated key to reach the overview. Won't work with other extensions modifying the Activities button and on fallback/flashback mode. On versions prior to 3.8, may not disable other hotcorners in multiscreen configurations.",
+  "name": "No Topleft Hot Corner",
   "shell-version": [
-    "3.10", "3.8", "3.6", "3.4"
-  ], 
-  "url": "https://github.com/HROMANO/nohotcorner/", 
-  "uuid": "[email protected]", 
+    "3.12", "3.10", "3.8", "3.6", "3.4"
+  ],
+  "url": "https://github.com/HROMANO/nohotcorner/",
+  "uuid": "[email protected]",
   "version": 7
 }