fix

assets/style.tcss

@@ -1,75 +1,75 @@
-#sidebar {
+#sidebar {
-	background: $boost-darken-1;
+	background: $boost-darken-1;
-	width: 15%;
+	width: 15%;
-	min-width: 20;
+	min-width: 20;
-	dock: left;
+	dock: left;
-	margin-top: 1;
+	margin-top: 1;
-}
+}
-
+
-#sidebar-buttons {
+#sidebar-buttons {
-	padding: 1;
+	padding: 1;
-	padding-bottom: 0;
+	padding-bottom: 0;
-	background: $boost-darken-1;
+	background: $boost-darken-1;
-	border-bottom: tall $surface;
+	border-bottom: tall $surface;
-
+
-	Button {
+	Button {
-		max-width: 5;
+		max-width: 5;
-		margin-right: 1;
+		margin-right: 1;
-	} 
+	} 
-}
+}
-
+
-ContentSwitcher Vertical {
+ContentSwitcher Vertical {
-	padding: 1;
+	padding: 1;
-	Static {
+	Static {
-		margin-bottom: 1;
+		margin-bottom: 1;
-		text-style: dim;
+		text-style: dim;
-	}
+	}
-}
+}
-
+
-#files {
+#files {
-	#directory {
+	#directory {
-		background: transparent;
+		background: transparent;
-	}
+	}
-}
+}
-
+
-#editor {
+#editor {
-	margin-top: 1;
+	margin-top: 1;
-
+
-	#code-editor {
+	#code-editor {
-		min-height: 3;
+		min-height: 3;
-	}
+	}
-}
+}
-
+
-#console-container {
+#console-container {
-	padding-top: 1;
+	padding-top: 1;
-	margin: 1;
+	margin: 1;
-	border-top: tall $boost;
+	border-top: tall $boost;
-	height: 35%;
+	height: 35%;
-	min-height: 12;
+	min-height: 12;
-
+
-	#console {
+	#console {
-		border: tall $boost;
+		border: tall $boost;
-		margin-bottom: 1;
+		margin-bottom: 1;
-	}
+	}
-}
+}
-
+
-#find-window {
+#find-window {
-	width: 45;
+	width: 45;
-	height: 11;
+	height: 11;
-
+
-	Input {
+	Input {
-		width: 20;
+		width: 20;
-		margin-bottom: 1;
+		margin-bottom: 1;
-	}
+	}
-
+
-	#num-matches {
+	#num-matches {
-		width: 10;
+		width: 10;
-		margin-left: 1;
+		margin-left: 1;
-		height: 3;
+		height: 3;
-		content-align: left middle;
+		content-align: left middle;
-	}
+	}
-
+
-	Button {
+	Button {
-		max-width: 5;
+		max-width: 5;
-	}
+	}
 }

assets/theme_mappings.py

@@ -1,16 +1,16 @@
-theme_mappings = {
+theme_mappings = {
-	"py": "python",
+	"py": "python",
-	"json": "json",
+	"json": "json",
-	"tcss": "css",
+	"tcss": "css",
-	"css": "css",
+	"css": "css",
-	"html": "html",
+	"html": "html",
-	"htm": "html",
+	"htm": "html",
-	"rs": "rust",
+	"rs": "rust",
-	"js": "javascript",
+	"js": "javascript",
-	"xml": "xml",
+	"xml": "xml",
-	"toml": "toml",
+	"toml": "toml",
-	"go": "go",
+	"go": "go",
-	"sh": "bash",
+	"sh": "bash",
-	"yaml": "yaml",
+	"yaml": "yaml",
-	"md": "markdown"
+	"md": "markdown"
 }