forks
/
arsd
mirror of https://github.com/adamdruppe/arsd.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

oops forgot to actually enable maximization

This commit is contained in:
Adam D. Ruppe 2021-03-12 21:40:01 -05:00
parent d20fcbf0c8
commit aa5d0bfb54
1 changed files with 8 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
terminal.d
View File

@ -7539,7 +7539,12 @@ version(TerminalDirectToEmulator) {
smw = new ScrollMessageWidget(this); smw = new ScrollMessageWidget(this);
tew = new TerminalEmulatorWidget(term, smw); tew = new TerminalEmulatorWidget(term, smw);
if(integratedTerminalEmulatorConfiguration.initialWidth == 0 || integratedTerminalEmulatorConfiguration.initialHeight == 0) {
win.show(); // if must be mapped before maximized... it does cause a flash but meh.
win.maximize();
} else {
win.resize(integratedTerminalEmulatorConfiguration.initialWidth * tew.terminalEmulator.fontWidth, integratedTerminalEmulatorConfiguration.initialHeight * tew.terminalEmulator.fontHeight); win.resize(integratedTerminalEmulatorConfiguration.initialWidth * tew.terminalEmulator.fontWidth, integratedTerminalEmulatorConfiguration.initialHeight * tew.terminalEmulator.fontHeight);
}
smw.addEventListener("scroll", () { smw.addEventListener("scroll", () {
tew.terminalEmulator.scrollbackTo(smw.position.x, smw.position.y + tew.terminalEmulator.height); tew.terminalEmulator.scrollbackTo(smw.position.x, smw.position.y + tew.terminalEmulator.height);
@ -8096,7 +8101,8 @@ version(TerminalDirectToEmulator) {
if(this.font is null || this.font.isNull) if(this.font is null || this.font.isNull)
loadDefaultFont(integratedTerminalEmulatorConfiguration.fontSize); loadDefaultFont(integratedTerminalEmulatorConfiguration.fontSize);
super(integratedTerminalEmulatorConfiguration.initialWidth, integratedTerminalEmulatorConfiguration.initialHeight); super(integratedTerminalEmulatorConfiguration.initialWidth ? integratedTerminalEmulatorConfiguration.initialWidth : 80,
integratedTerminalEmulatorConfiguration.initialHeight ? integratedTerminalEmulatorConfiguration.initialHeight : 30);
defaultForeground = integratedTerminalEmulatorConfiguration.defaultForeground; defaultForeground = integratedTerminalEmulatorConfiguration.defaultForeground;
defaultBackground = integratedTerminalEmulatorConfiguration.defaultBackground; defaultBackground = integratedTerminalEmulatorConfiguration.defaultBackground;