window.Root.Left <- parent.Left + parent.ActualWidth / 2. - window.Root.Width / 2.
window.Root.Top <- parent.Top + parent.ActualHeight / 2. - window.Root.Height / 2.
- let ctrl (name: string): 'a =
- window.Root.FindName(name) :?> 'a
+ let ctrl (name: string): 'a = window.Root.FindName(name) :?> 'a
let butClose: Button = ctrl "butClose"
let butStart: Button = ctrl "butStart"
imageSourceSelection.lblDateLastAnalysis.Content <- if srcImg.dateLastAnalysis.Ticks = 0L then "<Never>" else srcImg.dateLastAnalysis.ToString()
imageSourceSelection.txtResolution.Text <- srcImg.config.Parameters.resolution.ToString()
- imageSourceSelection.menuZoom50X.Click.AddHandler(fun obj args -> imageSourceSelection.txtResolution.Text <- "200000"; updateResolution ())
- imageSourceSelection.menuZoom100X.Click.AddHandler(fun obj args -> imageSourceSelection.txtResolution.Text <- "400000"; updateResolution ())
+ imageSourceSelection.menuZoom50X.Click.AddHandler(fun obj args -> imageSourceSelection.txtResolution.Text <- "230000"; updateResolution ())
+ imageSourceSelection.menuZoom100X.Click.AddHandler(fun obj args -> imageSourceSelection.txtResolution.Text <- "460000"; updateResolution ())
imageSourceSelection.txtResolution.PreviewTextInput.AddHandler(fun obj args ->
let text = imageSourceSelection.txtResolution.Text + args.Text