change gradio textbox handler to submit+unfocus instead of keypress

javascript/settings.js

@@ -8,9 +8,9 @@ const monitoredOpts = [
 ];
 
 const AppyOpts = [
-  { compact_view: (val) => toggleCompact(val) },
+  { compact_view: (val, old) => toggleCompact(val, old) },
   { gradio_theme: (val, old) => setTheme(val, old) },
-  { font_size: (val) => setFontSize(val) },
+  { font_size: (val, old) => setFontSize(val, old) },
 ];
 
 async function updateOpts(json_string) {

javascript/ui.js

@@ -66,7 +66,7 @@ function extract_image_from_gallery(gallery) {
 }
 
 async function setTheme(val, old) {
-  if (!old) return;
+  if (!old || val === old) return;
   const links = Array.from(document.getElementsByTagName('link')).filter((l) => l.href.includes(old));
   for (const link of links) {
     const href = link.href.replace(old, val);
@@ -80,8 +80,9 @@ async function setTheme(val, old) {
   }
 }
 
-function setFontSize(val) {
+function setFontSize(val, old) {
   const size = val || opts.font_size;
+  if (size === old) return;
   document.documentElement.style.setProperty('--font-size', `${size}px`);
   gradioApp().style.setProperty('--font-size', `${size}px`);
   gradioApp().style.setProperty('--text-xxs', `${size - 3}px`);
@@ -443,8 +444,9 @@ function createThemeElement() {
   return el;
 }
 
-function toggleCompact(val) {
-  // log('toggleCompact', val);
+function toggleCompact(val, old) {
+  if (val === old) return;
+  log('toggleCompact', val, old);
   if (val) {
     gradioApp().style.setProperty('--layout-gap', 'var(--spacing-md)');
     gradioApp().querySelectorAll('input[type=range]').forEach((el) => el.classList.add('hidden'));