docker
/
docs
mirror of https://github.com/docker/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Optimimal minimum window size for windows

This commit is contained in:
Jeffrey Morgan 2015-06-18 00:18:56 -07:00
parent a5c0d03714
commit 1290285a72
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/browser.js
View File

@ -52,8 +52,8 @@ app.on('ready', function () {
var mainWindow = new BrowserWindow({ var mainWindow = new BrowserWindow({
width: size.width || 800, width: size.width || 800,
height: size.height || 600, height: size.height || 600,
'min-width': os.platform() === 'win32' ? 450 : 700, 'min-width': os.platform() === 'win32' ? 400 : 700,
'min-height': os.platform() === 'win32' ? 290 : 500, 'min-height': os.platform() === 'win32' ? 260 : 500,
'standard-window': false, 'standard-window': false,
resizable: true, resizable: true,
frame: false, frame: false,

3
styles/new-container.less
View File

@ -137,6 +137,7 @@
} }
} }
.results-filters { .results-filters {
overflow: hidden;
margin: 1.2rem 1.2rem 0 0; margin: 1.2rem 1.2rem 0 0;
.results-filter-title { .results-filter-title {
font-size: 12px; font-size: 12px;
@ -184,7 +185,7 @@
color: @gray-normal; color: @gray-normal;
display: none; display: none;
border: 1px solid @color-divider; border: 1px solid @color-divider;
} }
.menu-overlay { .menu-overlay {
z-index: 999; z-index: 999;