linny-r 1.5.5 → 1.5.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "linny-r",
3
- "version": "1.5.5",
3
+ "version": "1.5.6",
4
4
  "description": "Executable graphical language with WYSIWYG editor for MILP models",
5
5
  "main": "server.js",
6
6
  "scripts": {
@@ -693,6 +693,7 @@ class GUIExperimentManager extends ExperimentManager {
693
693
  }
694
694
  }
695
695
  this.updateData();
696
+ CHART_MANAGER.updateDialog();
696
697
  }
697
698
  }
698
699
 
@@ -1771,7 +1772,7 @@ N = ${rr.N}, vector length = ${rr.vector.length}` : '')].join('');
1771
1772
  x.inferAvailableDimensions();
1772
1773
  for(let i = 0; i < x.available_dimensions.length; i++) {
1773
1774
  const ds = setString(x.available_dimensions[i]);
1774
- ol.push(`<option value="${ds}">${ds}</option>`);
1775
+ ol.push(`<option value="${i}">${ds}</option>`);
1775
1776
  }
1776
1777
  } else {
1777
1778
  for(let i = 0; i < this.suitable_charts.length; i++) {
@@ -1799,10 +1800,10 @@ N = ${rr.N}, vector length = ${rr.vector.length}` : '')].join('');
1799
1800
  x.charts.push(MODEL.charts[ci]);
1800
1801
  }
1801
1802
  } else {
1802
- // Convert set notation to selector list
1803
- const d = name.replace(/[\{\}]/g, '').split(', ');
1804
- // Append it to the list
1805
- x.dimensions.push(d);
1803
+ // List of available dimensions should still be unchanged,
1804
+ // so look up the dimension by the indexed passed as `name`.
1805
+ let d = x.available_dimensions[parseInt(name)];
1806
+ if(d) x.dimensions.push(d.slice());
1806
1807
  }
1807
1808
  this.updateParameters();
1808
1809
  this.parameter_modal.hide();
@@ -9820,15 +9820,15 @@ class Chart {
9820
9820
  // If multiple bars (`vv` is number of visible variables), draw
9821
9821
  // ticks to mark horizontal area per run number.
9822
9822
  if(vv > 1) {
9823
- this.addSVG(['<line x1="', rl, '" y1="', rt + rh - 3,
9824
- '" x2="', rl, '" y2="', rt + rh + 3,
9823
+ this.addSVG(['<line x1="', rl, '" y1="', rt + rh,
9824
+ '" x2="', rl, '" y2="', rt + rh + 6,
9825
9825
  '" stroke="black" stroke-width="1.5"/>']);
9826
9826
  }
9827
9827
  x = rl + dx;
9828
9828
  for(let i = 0; i < runs.length; i++) {
9829
9829
  if(vv > 1) {
9830
- this.addSVG(['<line x1="', x, '" y1="', rt + rh - 3,
9831
- '" x2="', x, '" y2="', rt + rh + 3,
9830
+ this.addSVG(['<line x1="', x, '" y1="', rt + rh,
9831
+ '" x2="', x, '" y2="', rt + rh + 6,
9832
9832
  '" stroke="black" stroke-width="1.5"/>']);
9833
9833
  }
9834
9834
  if(selx.plot_dimensions.length > 0) {