//Save settings to file (could move to valChange events for ease of use, but would cause slight slowdown) public void SaveSettingsButton(object sender, EventArgs a) { int[] settings = new int[] { quadMarginXL, quadMarginXR, quadMarginYT, quadMarginYB, loDepthThreshold, hiDepthThreshold }; fileHandler.saveSettings(settings); }