From d93473eb2df97a94ed2da3dd599105e5e934fb39 Mon Sep 17 00:00:00 2001 From: Guangcong Luo Date: Mon, 28 Dec 2015 13:23:50 -0500 Subject: [PATCH] Redesign options menu slightly A few options are reworded, it's been split into two sections, and section headers are now slightly smaller. --- js/client.js | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/js/client.js b/js/client.js index 1626c3f11..f43a97841 100644 --- a/js/client.js +++ b/js/client.js @@ -2710,16 +2710,20 @@ } buf += '
'; + buf += '

Graphics

'; buf += '

'; buf += '

'; - buf += '

'; + buf += '

'; buf += '

'; + + buf += '
'; + buf += '

Chat

'; buf += '

'; buf += '

'; buf += '

'; if (window.Notification) { - buf += '

'; + buf += '

'; } var timestamps = this.timestamps = (Tools.prefs('timestamps') || {}); @@ -2729,7 +2733,7 @@ if (window.nodewebkit) { buf += '
'; - buf += '

Desktop app

'; + buf += '

Desktop app

'; buf += '

'; buf += ''; }