From 2e9f2b0a562c60dfd25d2781e2d6dd25071b0283 Mon Sep 17 00:00:00 2001
From: Rohit Vighne <rohit.vighne@gmail.com>
Date: Sun, 27 Aug 2017 15:44:04 -0700
Subject: [PATCH] Option of user-specified font

---
 options.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/options.html b/options.html
index d1b00fc..51d210a 100644
--- a/options.html
+++ b/options.html
@@ -69,7 +69,8 @@ <h3>Select your theme</h3>
         <option value="zenburn">zenburn</option>
       </select>
       <h3>Select your font</h3>
-      <select id="font">
+      <input id="font" list="fonts-list">
+      <datalist id="fonts-list">
         <option value="Inconsolata">Inconsolata</option>
         <option value="Courier New">Courier New</option>
         <option value="Monaco">Monaco</option>
@@ -80,7 +81,7 @@ <h3>Select your font</h3>
         <option value="ProFont">ProFont</option>
         <option value="ProggyClean">Proggy Clean</option>
         <option value="Consolas">Consolas</option>
-      </select>
+      </datalist>
       <h3>Select your font size</h3>
       <select id="font-size">
         <option value="xx-small">xx-small</option>