From da19bff27f8fc98a86cf930d08e96d31a837eaff Mon Sep 17 00:00:00 2001
From: "David J. Malan" <malan@harvard.edu>
Date: Mon, 7 Mar 2016 19:18:17 -0500
Subject: [PATCH] Added fourth argument, `reset`, to `proposeLayoutChange` API
 so that `updateTheme` can be invoked with `noquestion == true`, thereby
 squelching "Would you like to reset colors to their default value?" prompt.

---
 plugins/c9.ide.layout.classic/layout.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/plugins/c9.ide.layout.classic/layout.js b/plugins/c9.ide.layout.classic/layout.js
index 35893c41..d2789759 100644
--- a/plugins/c9.ide.layout.classic/layout.js
+++ b/plugins/c9.ide.layout.classic/layout.js
@@ -214,7 +214,7 @@ define(function(require, exports, module) {
             }
         }
         
-        function proposeLayoutChange(kind, force, type) {
+        function proposeLayoutChange(kind, force, type, reset) {
             if (!force && settings.getBool("user/general/@propose"))
                 return;
             
@@ -225,7 +225,7 @@ define(function(require, exports, module) {
                     ignoreTheme = true;
                     var theme = {"dark": "flat-dark", "light": "flat-light"}[kind];
                     settings.set("user/general/@skin", theme);
-                    updateTheme(false, type);
+                    updateTheme(!!reset, type);
                     ignoreTheme = false;
                     settings.set("user/general/@propose", question.dontAsk);
                 },
@@ -639,4 +639,4 @@ define(function(require, exports, module) {
             layout: plugin
         });
     }
-});
\ No newline at end of file
+});