toasted-nutbread ad90bad057

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

2020-12-29 23:38:44 -05:00

..

js

Display profile panel (#1178)

2020-12-29 23:38:44 -05:00

float.html

Display profile panel (#1178)

2020-12-29 23:38:44 -05:00