use codeflask for user css editor

2025-12-13 03:35:55 +00:00 · 2018-12-11 14:25:41 +03:00
parent 7a98105960
commit daa43e0572
9 changed files with 55 additions and 24 deletions
--- a/prefs.php
+++ b/prefs.php
@@ -59,6 +59,9 @@
 			packages: [
 				{ name: "lib", location: "../" },
 				{ name: "fox", location: "../../js" },
+			],
+			aliases: [
+				[ "codeflask", "lib/codeflask.min.js" ]
 			]
 		};
 	</script>