From 2c3949375e49d17ea9b537aa33c99cfa2b3b75e1 Mon Sep 17 00:00:00 2001
From: Daniel Imms <daimms@microsoft.com>
Date: Fri, 4 May 2018 08:37:41 -0700
Subject: [PATCH] Update after a options change

---
 src/renderer/dom/DomRenderer.ts | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/renderer/dom/DomRenderer.ts b/src/renderer/dom/DomRenderer.ts
index a8023418..6b6512ce 100644
--- a/src/renderer/dom/DomRenderer.ts
+++ b/src/renderer/dom/DomRenderer.ts
@@ -241,7 +241,10 @@ export class DomRenderer extends EventEmitter implements IRenderer {
   }
 
   public onOptionsChanged(): void {
-    // TODO: Handle options changes
+    // Force a refresh
+    this._updateDimensions();
+    this.setTheme(undefined);
+    this._terminal.refresh(0, this._terminal.rows - 1);
   }
 
   public clear(): void {