margin argument is not used (used value is just hardcoded)

[saurik]

The --margin argument is assigned to a field margin.

wmfocus/src/args.rs

Lines 128 to 130 in 241bac9

	/// Add an additional margin around the text box (value is a factor of the box size)
	#[arg(short, long, default_value = "0.2")]
	pub margin: f32,

But margin_factor is just the hard-coded value of 0.2.

wmfocus/src/main.rs

Line 87 in 241bac9

let margin_factor = 1.0 + 0.2;

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.