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/main.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/main.rs')
| -rw-r--r-- | src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index ec327009..ca7a40c6 100644 --- a/src/main.rs +++ b/src/main.rs @@ -188,7 +188,7 @@ fn run(mut config: Config, options: cli::Options) -> Result<(), Box<Error>> { // // The second argument is a list of types that want to be notified // of display size changes. - display.handle_resize(&mut terminal, &mut [&mut pty, &mut processor]); + display.handle_resize(&mut terminal, &config, &mut [&mut pty, &mut processor]); // Draw the current state of the terminal display.draw(terminal, &config, processor.selection.as_ref()); |