diff options
| author | bobzel <zzzman@gmail.com> | 2020-08-17 09:43:13 -0400 |
|---|---|---|
| committer | bobzel <zzzman@gmail.com> | 2020-08-17 09:43:13 -0400 |
| commit | d7b5f5f6199b36af556e68370b5b7c462db7869f (patch) | |
| tree | 0ddec02f3c041f379de3703218f0c9c096ee07f9 /src/client/util/SelectionManager.ts | |
| parent | 7044fda26b17c0dac007952fb146bc8307339dce (diff) | |
fixed behavior of schemaHeader menu (except when pan or zoom occurs). Changed search to show aliases by default.
Diffstat (limited to 'src/client/util/SelectionManager.ts')
0 files changed, 0 insertions, 0 deletions