diff options
author | Dan Aloni <alonid@gmail.com> | 2017-10-14 20:35:56 +0300 |
---|---|---|
committer | Joe Wilm <jwilm@users.noreply.github.com> | 2017-10-14 10:35:56 -0700 |
commit | 8a0b1d9c3f5a9ddb98469a340bbcd06374d4a24e (patch) | |
tree | 80768003f9a2f3c99b0238dc68f4c9b119cc77d6 /src/event.rs | |
parent | fd410f9ec8bc53e35d46cc213244c978ef7c5816 (diff) | |
download | alacritty-8a0b1d9c3f5a9ddb98469a340bbcd06374d4a24e.tar.gz alacritty-8a0b1d9c3f5a9ddb98469a340bbcd06374d4a24e.zip |
Implement user actions for font resize (#625)
Adds support for font resizing at run-time. Three new actions are
introduced:
* IncreaseFontSize - Increases current font size by 1.0
* DecreaseFontSize - Decreases current font size by 1.0
* ResetFontSize - Resets font size to that specified in the
configuration.
The stock config files have example configuration for each which should
match gnome-terminal. For convenience, the config entries are:
- { key: Key0, mods: Control, action: ResetFontSize }
- { key: Equals, mods: Control, action: IncreaseFontSize }
- { key: Subtract, mods: Control, action: DecreaseFontSize }
Diffstat (limited to 'src/event.rs')
-rw-r--r-- | src/event.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/event.rs b/src/event.rs index 95685001..dda18652 100644 --- a/src/event.rs +++ b/src/event.rs @@ -107,6 +107,14 @@ impl<'a, N: Notify + 'a> input::ActionContext for ActionContext<'a, N> { self.terminal.pixels_to_coords(self.mouse.x as usize, self.mouse.y as usize) } + fn change_font_size(&mut self, delta: i8) { + self.terminal.change_font_size(delta); + } + + fn reset_font_size(&mut self) { + self.terminal.reset_font_size(); + } + #[inline] fn mouse_mut(&mut self) -> &mut Mouse { self.mouse |