linny-r 2.1.1 → 2.1.2

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": "2.1.1",
3
+ "version": "2.1.2",
4
4
  "description": "Executable graphical language with WYSIWYG editor for MILP models",
5
5
  "main": "server.js",
6
6
  "scripts": {
package/static/index.html CHANGED
@@ -2352,10 +2352,13 @@ NOTE: * and ? will be interpreted as wildcards"
2352
2352
  title="Download chart as bitmap image (PNG)
2353
2353
  ✎ Shift-click to download chart as Scalable Vector Graphics (SVG)">
2354
2354
  <img id="chart-widen-btn" class="btn enab" src="images/stretch.png"
2355
- title="Widen chart" style="margin-left: 24px">
2355
+ title="Widen chart" style="margin-left: 12px">
2356
2356
  <img id="chart-narrow-btn" class="btn enab" src="images/compress.png"
2357
2357
  title="Narrow chart">
2358
2358
  </div>
2359
+ <div id="chart-prefix-div">
2360
+ <select id="chart-prefix"></select>
2361
+ </div>
2359
2362
  </div>
2360
2363
  <div id="chart-time-div">
2361
2364
  <div id="chart-time-step"></div>
@@ -3029,6 +3029,14 @@ td.equation-expression-multi {
3029
3029
  cursor: pointer;
3030
3030
  }
3031
3031
 
3032
+ #equation-info {
3033
+ position: absolute;
3034
+ bottom: 2px;
3035
+ left: 2px;
3036
+ color: Gray;
3037
+ font-style: italic;
3038
+ }
3039
+
3032
3040
  /* NOTE: Rename equation modal must be above Edit variable modal */
3033
3041
  #rename-equation-modal {
3034
3042
  z-index: 110;
@@ -3559,6 +3567,16 @@ img.v-disab {
3559
3567
  margin-left: 4px;
3560
3568
  }
3561
3569
 
3570
+ #chart-prefix-div {
3571
+ display: inline-block;
3572
+ margin-left: 12px;
3573
+ }
3574
+
3575
+ #chart-prefix {
3576
+ font-size: 9px !important;
3577
+ max-width: 80px;
3578
+ }
3579
+
3562
3580
  #chart-time-div {
3563
3581
  position: absolute;
3564
3582
  bottom: 0px;