//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);
 }