message: Make the terminal font selection work
diff: @@ -100,7 +100,10 @@ export class AppearancePage {
  "Font:",
  shrinkWrap(ComboBox({
  currentIndex: currentFontIndex,
  - items: allFonts.map((f): ComboBoxItem => ({ text: f.name, userData: f.id }))
  + items: allFonts.map((f): ComboBoxItem => ({ text: f.name, userData: f.id })),
  + onActivated: (index: number) => {
  + update(c => c.terminalFont = allFonts[index].id);
  + }
  })),
  "Font Size:",
  