diff options
| author | Tuomas Siipola <siiptuo@kapsi.fi> | 2017-05-06 08:45:23 -0700 |
|---|---|---|
| committer | Joe Wilm <jwilm@users.noreply.github.com> | 2017-05-06 12:53:54 -0700 |
| commit | 9316771f64842533181cfb04a27aa9ae809cc435 (patch) | |
| tree | 364cf490246fba9d86bc02ce67aeda43a1610f48 /src/window.rs | |
| parent | 149fbaef09a56613c72855bc60355c7848256500 (diff) | |
| download | alacritty-9316771f64842533181cfb04a27aa9ae809cc435.tar.gz alacritty-9316771f64842533181cfb04a27aa9ae809cc435.zip | |
Add window padding option
Padding can be configured by using the `padding` field in the config
file, like so:
padding:
x: 2
y: 2
which would result in a 2px padding within each side of the window.
Diffstat (limited to 'src/window.rs')
| -rw-r--r-- | src/window.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/window.rs b/src/window.rs index b821c77b..00f60c38 100644 --- a/src/window.rs +++ b/src/window.rs @@ -360,11 +360,11 @@ impl Proxy { } pub trait SetInnerSize<T> { - fn set_inner_size<S: ToPoints>(&mut self, size: S); + fn set_inner_size<S: ToPoints>(&mut self, size: &S); } impl SetInnerSize<Pixels<u32>> for Window { - fn set_inner_size<T: ToPoints>(&mut self, size: T) { + fn set_inner_size<T: ToPoints>(&mut self, size: &T) { let size = size.to_points(self.hidpi_factor()); self.glutin_window.set_inner_size(*size.width as _, *size.height as _); } |