| .. |
|
dialog
|
Add visualization export
|
2017-09-18 18:24:09 +02:00 |
|
widget-plot
|
Add html widget
|
2017-09-18 10:06:19 +02:00 |
|
dropzone.js
|
Update all dependencies to lastest version
|
2017-08-01 21:15:18 +02:00 |
|
footer.js
|
improve styling of footer
|
2017-09-16 19:33:29 +02:00 |
|
grid.js
|
Add grid background to visualization edit
|
2017-07-27 23:32:09 +02:00 |
|
header-menu.js
|
Make design responsive for mobile
|
2017-08-18 11:08:20 +02:00 |
|
header.js
|
Make design responsive for mobile
|
2017-08-18 11:08:20 +02:00 |
|
login-form.js
|
Add wrong crentials message to login form
|
2017-08-17 18:27:30 +02:00 |
|
menu-sidebar.js
|
change menu title from "User Managment" to "Users" in order to match the style of other entries (closes #104)
|
2017-08-23 18:04:29 +02:00 |
|
node-tree.js
|
Improve imports and exports
|
2017-09-18 14:32:17 +02:00 |
|
table-column.js
|
Add import dialog
|
2017-09-18 10:14:18 +02:00 |
|
table.js
|
Add import dialog
|
2017-09-18 10:14:18 +02:00 |
|
toolbox-item.js
|
Update all dependencies to lastest version
|
2017-08-01 21:15:18 +02:00 |
|
widget-box.js
|
Box to group widgets
|
2017-04-25 14:31:28 +02:00 |
|
widget-button.js
|
Button color selection
|
2017-04-24 14:41:23 +02:00 |
|
widget-factory.js
|
Add html widget
|
2017-09-18 10:06:19 +02:00 |
|
widget-gauge.js
|
Improve plot widgets
|
2017-09-18 09:26:21 +02:00 |
|
widget-html.js
|
Add html widget
|
2017-09-18 10:06:19 +02:00 |
|
widget-image.js
|
Add unit option to value widget
|
2017-08-19 15:38:01 +02:00 |
|
widget-label.js
|
Add color to label widget
|
2017-08-01 14:29:29 +02:00 |
|
widget-number-input.js
|
Revert "Merge branch 'additional-widgets' into 'develop'"
|
2017-04-13 11:12:04 +02:00 |
|
widget-plot-table.js
|
Improve plot widgets
|
2017-09-18 09:26:21 +02:00 |
|
widget-plot.js
|
Improve plot widgets
|
2017-09-18 09:26:21 +02:00 |
|
widget-slider.js
|
Included slider library. Slider adapts to orientation changes
|
2017-04-19 15:46:23 +02:00 |
|
widget-table.js
|
Fix unknown simulator data in table
|
2017-08-01 22:14:43 +02:00 |
|
widget-value.js
|
Add unit option to value widget
|
2017-08-19 15:38:01 +02:00 |
