diff options
| author | Ivan Molodetskikh <yalterz@gmail.com> | 2023-12-29 11:38:01 +0400 |
|---|---|---|
| committer | Ivan Molodetskikh <yalterz@gmail.com> | 2023-12-29 11:38:01 +0400 |
| commit | 44d3a5b9a2b0ce2bfeccfa0be16196052b6fdd50 (patch) | |
| tree | 4219c2563836c26dc48f65465ae8d521f3e48e1b /src/layout/tile.rs | |
| parent | 5d95de97a0a1105c91d6e4dce92ac2239ebdc4ee (diff) | |
| download | niri-44d3a5b9a2b0ce2bfeccfa0be16196052b6fdd50.tar.gz niri-44d3a5b9a2b0ce2bfeccfa0be16196052b6fdd50.tar.bz2 niri-44d3a5b9a2b0ce2bfeccfa0be16196052b6fdd50.zip | |
Use saturating_sub in window_height_for_tile_height()
Diffstat (limited to 'src/layout/tile.rs')
| -rw-r--r-- | src/layout/tile.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/layout/tile.rs b/src/layout/tile.rs index bd684ea0..4f668c17 100644 --- a/src/layout/tile.rs +++ b/src/layout/tile.rs @@ -189,7 +189,7 @@ impl<W: LayoutElement> Tile<W> { if self.border.is_off() { size } else { - size - self.border.width() * 2 + size.saturating_sub(self.border.width() * 2) } } |