From 6f04e9e7e00a18de99dd19d053f56893abee2887 Mon Sep 17 00:00:00 2001 From: keith Date: Thu, 2 Jan 2020 00:41:46 -0800 Subject: [PATCH] support font setting and changing --- src/editor/mod.rs | 22 ++++++++++++++++++- src/renderer/caching_shaper.rs | 7 +++--- src/renderer/fonts.rs | 17 ++++++++++++++- src/renderer/mod.rs | 39 +++++++++++++++++++++++++--------- src/window.rs | 23 ++++++++++++++------ 5 files changed, 85 insertions(+), 23 deletions(-) diff --git a/src/editor/mod.rs b/src/editor/mod.rs index c8a6534..d410816 100644 --- a/src/editor/mod.rs +++ b/src/editor/mod.rs @@ -10,7 +10,7 @@ mod command_line; pub use cursor::{Cursor, CursorShape, CursorMode}; pub use style::{Colors, Style}; use command_line::CommandLine; -use crate::events::{GridLineCell, RedrawEvent}; +use crate::events::{GridLineCell, GuiOption, RedrawEvent}; pub type GridCell = Option<(char, Option