public void SetFont(Font text, Font title)
{
TextFont = text;
TitleFont = title;
ComputeFontHeight();
}
public override void Load()
{
Keyboard.SetKeyRepeat(true);
Font TextFont = new Font("Assets/Fonts/consola.ttf", 15);
Font TitleFont = new Font("Assets/Fonts/consolab.ttf", 16);
DevConsole = new DeveloperConsole();
if (!Program.Preferences.Success)
{
Log(string.Format("ERROR: failed to load '{0}'", Preferences.Path));
}
else
{
Log(string.Format("Preferences: load '{0}'", Preferences.Path));
}
// > Coolors: https://coolors.co/090c08-fff7f8-696d7d-ffe74c-ff5964-6369d1-6cae75-8b9474
Language.Load("Assets/Languages");
// > Elements
var te_2 = new TextEditor();
te_2.SetFont(TextFont.Copy(), TitleFont);
//te_2.SetFile( @"K:\Projets\C#\code-editor\Program.cs" );
te_2.SetFile(@"K:\Projets\Lua/Löve2D/Sokoblob/main.lua");
te_2.SetFractionPos(0, 0);
te_2.SetFractionSize(.65f, 1);
te_2.ComputeBounds();
var te_1 = new TextEditor();
te_1.SetFont(TextFont.Copy(), TitleFont);
te_1.SetFile(@"K:\Projets\Python\test.py");
te_1.SetFractionPos(te_2.FractionBounds.Width, 0);
te_1.SetFractionSize(1 - te_2.FractionBounds.Width, .65f);
te_1.ComputeBounds();
DevConsole.SetFont(TextFont.Copy(), TitleFont);
DevConsole.SetFractionPos(te_1.FractionBounds.X, te_1.FractionBounds.Y + te_1.FractionBounds.Height);
DevConsole.SetFractionSize(te_1.FractionBounds.Width, 1 - te_1.FractionBounds.Height);
DevConsole.ComputeBounds();
//var te_3 = new TextEditor();
//te_3.SetFont( TextFont, TitleFont );
//te_3.SetFile( @"K:\Projets\Python\py-icewalker\main_1.py" );
//te_3.SetPos( te_1.Bounds.X, te_1.Bounds.Y + te_1.Bounds.Height );
//te_3.SetSize( te_1.Bounds.Width, Graphics.GetHeight() - te_1.Bounds.Height );
//te_3.HighlighterTheme = highlighter;
Elements.Focus(DevConsole);
// > Themes
Theme.Load("Assets/Themes");
SetTheme(Theme.Get(Program.Preferences.Theme));
}