diff options
author | Canop <cano.petrole@gmail.com> | 2020-12-13 16:41:35 +0100 |
---|---|---|
committer | Canop <cano.petrole@gmail.com> | 2020-12-13 17:22:07 +0100 |
commit | 2c06c7ca0a580618d932325e15d8d40e7640f24d (patch) | |
tree | 5764d009d564a514a285426be6ce497cc65660c9 /fmt.sh | |
parent | ee4f93f4919be4e716bb9b73476473bbc8bd7159 (diff) |
keep selection visible on unfiltering
The selection was sometimes scrolled away on unfiltering.
Also change some formatting.
Diffstat (limited to 'fmt.sh')
-rwxr-xr-x | fmt.sh | 11 |
1 files changed, 11 insertions, 0 deletions
@@ -0,0 +1,11 @@ +# I consider the changes of cargo fmt as suggestions. +# So my practice is to pick them, or not, one by one, in meld. +# This script builds a formatted version of the source then +# opens the two folders in meld (destination being my original +# code) +rm -rf src-mine +cp -r src src-mine +cargo fmt +mv src src-fmt +mv src-mine src +meld src-fmt src |