mainWindow.js, waveform.js: make the window smaller