Add resize-handler extension

2023-08-20 00:37:39 -04:00
parent 9d2299ed0b
commit a3c8510c05
2 changed files with 116 additions and 0 deletions
@@ -0,0 +1,10 @@
+.resize-handle{
+	cursor: col-resize;
+	grid-column: 2 / 3;
+	min-width: 8px !important;
+	max-width: 8px !important;
+	height: 100%;
+	border-left: 1px dashed var(--border-color-primary);
+	user-select: none;
+	margin-left: 8px;
+}