should work now?

2026-03-22 04:24:01 +02:00
parent c0f85b7550
commit 3f47c913f8
91 changed files with 61663 additions and 1 deletions
--- a/node_modules/jibo-sdk/styles/jibo-rule-linter.less
+++ b/node_modules/jibo-sdk/styles/jibo-rule-linter.less
@@ -0,0 +1,33 @@
+@import "ui-variables";
+
+atom-text-editor.editor {
+  .gutter .line-number {
+    &.jibo-line-number-red {
+      color: @text-color-error;
+      font-weight: bold;
+    }
+  }
+
+  .jibo-highlight-red .region {
+    background-color: @text-color-error;
+  }
+}
+
+.rule-panel {
+  height: 100%;
+  width: 480px;
+}
+
+.rule-panel .json-container {
+  display: block;
+  position: absolute;
+  height: auto;
+  bottom: 0;
+  top: 0;
+  right: 0;
+  left: 0;
+  margin-top: 125px;
+  margin-bottom: 26px;
+  margin-right: 10px;
+  margin-left: 10px;
+}