8000 Merge pull request #29 from arduino/feature/window-size-constraint · arduino/lab-micropython-editor@6e656ad · GitHub
[go: up one dir, main page]

Skip to content

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 6e656ad

Browse files
authored
Merge pull request #29 from arduino/feature/window-size-constraint
Create a window bridge to set window min size from the UI
2 parents a42aa8e + 5618395 commit 6e656ad

File tree

3 files changed

+20
-0
lines changed

3 files changed

+20
-0
lines changed

index.js

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -81,6 +81,16 @@ ipcMain.handle('rename-file', (event, folder, filename, newFilename) => {
8181
return newFilename
8282
})
8383

84+
ipcMain.handle('set-window-size', (event, minWidth, minHeight) => {
85+
console.log('ipcMain', 'set-window-size', minWidth, minHeight)
86+
if (!win) {
87+
console.log('No window defined')
88+
return false
89+
}
90+
91+
win.setMinimumSize(minWidth, minHeight)
92+
})
93+
8494
// START APP
8595
function createWindow () {
8696
// Create the browser window.

preload.js

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -112,5 +112,12 @@ const Disk = {
112112
}
113113
}
114114

115+
const Window = {
116+
setWindowSize: (minWidth, minHeight) => {
117+
ipcRenderer.invoke('set-window-size', minWidth, minHeight)
118+
}
119+
}
120+
115121
contextBridge.exposeInMainWorld('BridgeSerial', Serial)
116122
contextBridge.exposeInMainWorld('BridgeDisk', Disk)
123+
contextBridge.exposeInMainWorld('BridgeWindow', Window)

ui/arduino/store.js

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,9 @@ function resizeEditor(state) {
1313
function store(state, emitter) {
1414
const serial = window.BridgeSerial
1515
const disk = window.BridgeDisk
16+
const win = window.BridgeWindow
17+
18+
win.setWindowSize(700, 640)
1619

1720
state.ports = []
1821
state.diskFiles = []

0 commit comments

Comments
 (0)
0