diff options
| author | Omnikar | 2021-10-31 00:42:49 +0000 |
|---|---|---|
| committer | GitHub | 2021-10-31 00:42:49 +0000 |
| commit | 2f8ad7f890d99dfcad7c7a5e0b35ee5a39fcd3d0 (patch) | |
| tree | 04484d8ab2075c7580569cb27d3a52173257a7a0 /runtime/queries | |
| parent | 592fba11005ef6f2eda09285b34b24eeea5efc25 (diff) | |
If switching away from an empty scratch buffer, remove it (#935)
* If switching away from an empty scratch buffer, remove it
* Move `view.jumps.push` call into `else` clause
* Refactor
Diffstat (limited to 'runtime/queries')
0 files changed, 0 insertions, 0 deletions