diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-12-29 23:38:44 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-29 23:38:44 -0500 |
commit | ad90bad05782d275970a196817802ca9c7b6e735 (patch) | |
tree | f82eca7ab42ad778d23e6565669d84355e533e64 /dev/vm.js | |
parent | ae36cccc361aaee4ea33cae4e37a1ad47f999a34 (diff) |
Display profile panel (#1178)
* Expose Display.displayGenerator
* Update search when assigning options context
* Don't clear selection unless the popup changes
* Merge search styles
* Create panel for changing the profile
Diffstat (limited to 'dev/vm.js')
0 files changed, 0 insertions, 0 deletions