diff options
author | bobzel <zzzman@gmail.com> | 2022-06-09 11:32:01 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2022-06-09 11:32:01 -0400 |
commit | 012a4681c824baaef60370de5904e9cc35b03f13 (patch) | |
tree | 3439419cce741075d84b2146bfd3797df86cc851 /src/client/util/Scripting.ts | |
parent | 53bc43a9817f6a80b9dc4e0adad11b555c4236b6 (diff) |
fixed pin doc navigation when not in presBox (eg. headerBar)
Diffstat (limited to 'src/client/util/Scripting.ts')
0 files changed, 0 insertions, 0 deletions