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

oops opend fix

This commit is contained in:
Adam D. Ruppe 2025-11-03 19:24:15 -05:00
parent 779bcb0199
commit bfc0014ae2
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
terminal.d
View File

@ -9268,6 +9268,9 @@ version(TerminalDirectToEmulator) {
private class TerminalEmulatorInsideWidget : TerminalEmulator { private class TerminalEmulatorInsideWidget : TerminalEmulator {
import arsd.core : EnableSynchronization;
mixin EnableSynchronization;
private ScrollbackBuffer sbb() { return scrollbackBuffer; } private ScrollbackBuffer sbb() { return scrollbackBuffer; }
void resized(int w, int h) { void resized(int w, int h) {
@ -9467,8 +9470,8 @@ version(TerminalDirectToEmulator) {
if(this.font.isNull) { if(this.font.isNull) {
// carry on, it will try a default later // carry on, it will try a default later
} else if(this.font.isMonospace) { } else if(this.font.isMonospace) {
this.fontWidth = font.averageWidth; this.fontWidth = castFnumToCnum(font.averageWidth);
this.fontHeight = font.height; this.fontHeight = castFnumToCnum(font.height);
} else { } else {
this.font.unload(); // can't really use a non-monospace font, so just going to unload it so the default font loads again this.font.unload(); // can't really use a non-monospace font, so just going to unload it so the default font loads again
} }