Frontend style minor

Signed-off-by: Draco <dracode01@gmail.com>
hengxin · Mar 29, 2024 · 96db53f · 96db53f
1 parent 7e85db4
commit 96db53f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/frontend/src/components/Dashboard.vue b/frontend/src/components/Dashboard.vue
@@ -351,7 +351,7 @@ const handleIndexChange = (index) => {
                 <header class="form-header">
                   <h2>Checker Settings</h2>
                 </header>
-                <el-form-item label="Checker Isolation Level">
+                <el-form-item label="Isolation Level">
                   <el-select v-model="testingOption.checker_isolation" placeholder=""
                              multiple
                              @change="handleSelectionChange"
@@ -364,7 +364,6 @@ const handleIndexChange = (index) => {
                     </el-option>
                   </el-select>
                 </el-form-item>
-                <el-divider/>
                 <el-form-item v-show="false" label="Enable Profiler">
                   <el-switch
                       v-model="testingOption.profiler_enable"

diff --git a/frontend/src/components/RunView.vue b/frontend/src/components/RunView.vue
@@ -130,6 +130,11 @@ const createProfileCharts = () => {
   let profileStagesOption;
 
   profileStagesOption = {
+    toolbox: {
+      feature: {
+        saveAsImage: {}
+      }
+    },
     tooltip: {
       // trigger: 'axis',
       // axisPointer: {