From a5e21c8dfc8580e08fc1e69de9c9cfb05657d304 Mon Sep 17 00:00:00 2001 From: "Scott E. Graves" Date: Tue, 4 Jun 2019 16:53:33 -0500 Subject: [PATCH] Reduce window size --- public/electron.js | 2 +- src/App.js | 2 +- src/index.css | 2 +- src/index.js | 4 ++-- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/public/electron.js b/public/electron.js index 7afa431..635aa10 100644 --- a/public/electron.js +++ b/public/electron.js @@ -75,7 +75,7 @@ function createWindow() { } // Create the browser window. - const height = (process.env.ELECTRON_START_URL || (os.platform() === 'darwin') ? 364 : 344) - ((os.platform() === 'win32') ? 0 : 20); + const height = (process.env.ELECTRON_START_URL || (os.platform() === 'darwin') ? 294 : 274) - ((os.platform() === 'win32') ? 0 : 20); mainWindow = new BrowserWindow({ width: 428 + ((os.platform() === 'win32') ? 0 : (os.platform() === 'darwin') ? 150 : 160), height: height, diff --git a/src/App.js b/src/App.js index 7062f38..caabd49 100644 --- a/src/App.js +++ b/src/App.js @@ -670,7 +670,7 @@ class App extends IPCContainer { let key = 0; mainContent.push((
+ style={{height: '32%'}}> { if (arg.OSPlatform === 'linux') { - let root = document.documentElement; - root.style.setProperty('--default_font_size', '4.8vmin'); + const root = document.documentElement; + root.style.setProperty('--default_font_size', '15px'); } ReactDOM.render(, document.getElementById('root'));