Adress feedback

2017-11-12 22:04:10 +00:00
parent 007410995a
commit f12eb5367b
2 changed files with 16 additions and 9 deletions
@@ -404,7 +404,7 @@ declare module 'xterm' {
     * Retrieves an option's value from the terminal.
     * @param key The option key.
     */
-    getOption(key: 'bellSound' | 'bellStyle' | 'cursorStyle' | 'fontFamily' | 'termName'): string;
+    getOption(key: 'bellSound' | 'bellStyle' | 'cursorStyle' | 'fontFamily' | 'fontWeight' | 'fontWeightBold'| 'termName'): string;
    /**
     * Retrieves an option's value from the terminal.
     * @param key The option key.