Change default number of columns in simulator, and decrease font size…

… of node name in simulator
kind2-mc · May 23, 2024 · bbc89cc · bbc89cc
1 parent 84741ce
commit bbc89cc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/interpreter/src/app/simulation/simulation.component.css b/interpreter/src/app/simulation/simulation.component.css
@@ -32,7 +32,7 @@ body {
 
 .componentName {
   text-align: left;
-  font-size: 25px;
+  font-size: 17px;
 }
 
 .streamName {

diff --git a/interpreter/src/app/simulation/simulation.component.ts b/interpreter/src/app/simulation/simulation.component.ts
@@ -56,7 +56,7 @@ export class SimulationComponent implements OnInit {
   public numCols(): number {
     let nCols = this._components[0].streams[0].instantValues.length;
     if (nCols == 0) {
-      nCols = 3;
+      nCols = 10;
       this.changeColumns(nCols);
     }
     return nCols;