diff options
| author | Siew Yi Liang <sonictk@gmail.com> | 2024-01-22 11:16:47 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-22 21:16:47 +0200 |
| commit | 55e9026881538c126293b7e682d0d147984254f1 (patch) | |
| tree | f154c5cb1bdf29e4306091d20b92c0773fc8b188 /doc | |
| parent | 874ccb3122e52b5691eb2ca3fce6887b26e75eb1 (diff) | |
Optimize compilation-find-file-projectile-find-compilation-buffer (#1874)
If the target file already exists, navigate to it directly instead of running the expensive extra logic.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions