diff options
| author | christine betts <[email protected]> | 2025-08-08 15:21:50 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-08-08 15:21:50 +0000 |
| commit | 407393b1285ed648be6594395429a802e876b20c (patch) | |
| tree | 22727e20c07360286b6739974bd743a8763cfd80 /docs/cli/configuration.md | |
| parent | 51d09e720b7563fcd395f8e520bbc7ed365912d8 (diff) | |
[ide-mode] Hide diff options when active diff is not focused (#5808)
Co-authored-by: Jacob Richman <[email protected]>
Diffstat (limited to 'docs/cli/configuration.md')
0 files changed, 0 insertions, 0 deletions