Open saurik opened 5 months ago
The --margin argument is assigned to a field margin.
--margin
margin
https://github.com/svenstaro/wmfocus/blob/241bac97774727db813af428571b34e3fb85388c/src/args.rs#L128-L130
But margin_factor is just the hard-coded value of 0.2.
margin_factor
0.2
https://github.com/svenstaro/wmfocus/blob/241bac97774727db813af428571b34e3fb85388c/src/main.rs#L87
The only three lines of code which are returned by a git grep -w margin are the three lines which set and document the field: there are no uses.
git grep -w margin
The
--marginargument is assigned to a fieldmargin.https://github.com/svenstaro/wmfocus/blob/241bac97774727db813af428571b34e3fb85388c/src/args.rs#L128-L130
But
margin_factoris just the hard-coded value of0.2.https://github.com/svenstaro/wmfocus/blob/241bac97774727db813af428571b34e3fb85388c/src/main.rs#L87
The only three lines of code which are returned by a
git grep -w marginare the three lines which set and document the field: there are no uses.