Nick O'Leary e762b7ff48

TypedInput: handle user defined value/labels options ...

Fixes #1549

2018-01-14 00:24:36 +00:00

..

checkboxSet.js

Add per-node filter option to Debug pane

2017-05-22 11:35:55 +01:00

editableList.js

Allow expanding diff elements to stay in-sync deeper

2017-08-04 14:23:28 +01:00

menu.js

Add debug message menu

2017-05-12 22:12:55 +01:00

panels.js

Add buffer mode to typedInput

2017-06-13 21:01:27 +01:00

popover.js

Add copy path/value buttons to debug messages

2017-05-10 15:49:56 +01:00

searchBox.js

Move palette editor to settings panel

2017-05-03 11:38:16 +01:00

stack.js

Restructure info tab

2017-04-06 23:17:30 +01:00

tabs.js

Move palette editor to userSettings dialog

2017-05-03 11:38:16 +01:00

typedInput.js

TypedInput: handle user defined value/labels options

2018-01-14 00:24:36 +00:00