Parasitemia/Parasitemia/GUI/GUI.fs

   1 module Parasitemia.GUI.Main
   2
   3 open System
   4 open System.IO
   5 open System.Linq
   6 open System.Windows
   7 open System.Windows.Media
   8 open System.Windows.Markup
   9 open System.Windows.Shapes
  10 open System.Windows.Controls
  11 open System.Diagnostics
  12 open Microsoft.Win32 // For the common dialogs.
  13
  14 open Emgu.CV.WPF
  15
  16 open Config
  17 open Types
  18
  19 let run (defaultConfig: Config) (fileToOpen: string option) =
  20     let app = new Application()
  21     let mainWindow = Views.MainWindow()
  22     let ctrl (name: string): 'a = mainWindow.Root.FindName(name) :?> 'a
  23
  24     let colorRBCHealthy = Brushes.YellowGreen
  25     let colorRBCInfected = Brushes.Red
  26
  27     let state = State.State()
  28     let mutable currentScale = 1.
  29     let mutable displayHealthy = false
  30
  31     let menuExit: MenuItem = ctrl "menuExit"
  32     let menuSaveFile: MenuItem = ctrl "menuSave"
  33     let menuLoadFile: MenuItem = ctrl "menuOpen"
  34     let menuNewFile: MenuItem = ctrl "menuNew"
  35     let menuAddSourceImage: MenuItem = ctrl "menuAddSourceImage"
  36     let menuAnalysis: MenuItem = ctrl "menuAnalysis"
  37     let menuStartAnalysis: MenuItem = ctrl "menuStartAnalysis"
  38     let menuView: MenuItem = ctrl "menuView"
  39     let menuHightlightRBC: MenuItem = ctrl "menuHightlightRBC"
  40     let menuAbout: MenuItem = ctrl "menuAbout"
  41
  42     let txtPatient: TextBox = ctrl "txtPatient"
  43     let txtGlobalParasitemia: TextBox = ctrl "txtGlobalParasitemia"
  44
  45     let stackPreviews: StackPanel = ctrl "stackPreviews"
  46
  47     let scrollViewCurrentImage: ScrollViewer = ctrl "scrollViewCurrentImage"
  48     let borderCurrentImage: Border = ctrl "borderCurrentImage"
  49     let canvasCurrentImage: Canvas = ctrl "canvasCurrentImage"
  50     let txtImageInformation: TextBlock = ctrl "txtImageInformation"
  51
  52     let scrollRBC: ScrollViewer = ctrl "scrollRBC"
  53     let stackRBC: StackPanel = ctrl "stackRBC"
  54
  55     // Initializations.
  56     menuHightlightRBC.IsChecked <- displayHealthy
  57
  58     // Utils.
  59     let extractRBCPreview (img: Emgu.CV.Image<Emgu.CV.Structure.Bgr, byte>) (rbc: RBC) : Emgu.CV.Image<Emgu.CV.Structure.Bgr, byte> =
  60         let rbcWidth = rbc.size.Width
  61         let rbcHeight = rbc.size.Height
  62         let x = rbc.center.X - rbcWidth / 2. |> Utils.roundInt
  63         let y = rbc.center.Y - rbcHeight / 2. |> Utils.roundInt
  64         let w = Utils.roundInt rbcWidth
  65         let h = Utils.roundInt rbcHeight
  66         img.GetSubRect(System.Drawing.Rectangle(System.Drawing.Point((if x < 0 then 0 else x), (if y < 0 then 0 else y)),
  67                                                 System.Drawing.Size((if x + w >= img.Width then img.Width - x else w),
  68                                                                     (if y + h >= img.Height then img.Height - y else h))))
  69
  70     let setRBCFrameStyle (rbc: RBC) (frame: Views.RBCFrame) =
  71         frame.Opacity <- if displayHealthy || rbc.setManually || rbc.infected then 1. else 0.
  72         let color = if rbc.infected then colorRBCInfected else colorRBCHealthy
  73         frame.manuallyAdded.Visibility <- if rbc.setManually then Visibility.Visible else Visibility.Hidden
  74         frame.manuallyAdded.Fill <- color
  75         frame.border.Stroke <- color
  76
  77     let RBCFrameFromExisting (rbc: RBC) (frame: Views.RBCFrame) : Views.RBCFrame =
  78         frame.Visibility <- Visibility.Visible
  79         frame.Height <- rbc.size.Height
  80         frame.Width <- rbc.size.Width
  81         frame.Tag <- rbc
  82         setRBCFrameStyle rbc frame
  83         frame.border.StrokeThickness <- 1.
  84         frame.txtRBCNumber.Text <- rbc.num.ToString()
  85         frame
  86
  87     let highlightRBCFrame (frame: Views.RBCFrame) (highlight: bool) =
  88         let rbc = frame.Tag :?> RBC
  89         if highlight
  90         then
  91             frame.border.StrokeThickness <- 3.
  92             if not rbc.infected && not rbc.setManually && not displayHealthy then frame.Opacity <- 1.
  93         else
  94             frame.border.StrokeThickness <- 1.
  95             if not rbc.infected && not rbc.setManually && not displayHealthy then frame.Opacity <- 0.
  96
  97     let zoomToRBC (rbc: RBC) =
  98         scrollViewCurrentImage.ScrollToHorizontalOffset(rbc.center.X * currentScale - scrollViewCurrentImage.ViewportWidth / 2. + borderCurrentImage.BorderThickness.Left)
  99         scrollViewCurrentImage.ScrollToVerticalOffset(rbc.center.Y * currentScale - scrollViewCurrentImage.ViewportHeight / 2. + borderCurrentImage.BorderThickness.Top)
 100
 101     let parasitemiaText (nbTotal: int, nbInfected: int) : string =
 102         if nbTotal = 0
 103         then
 104             ""
 105         else
 106             let percent = 100. * (float nbInfected) / (float nbTotal)
 107             sprintf "%.1f %% (%d / %d)" percent nbInfected nbTotal
 108
 109     let updateCurrentImageInformation () =
 110         match state.CurrentImage with
 111         | Some srcImg ->
 112             let parasitemiaStr = parasitemiaText (state.ImageParasitemia srcImg)
 113             txtImageInformation.Inlines.Clear()
 114             txtImageInformation.Inlines.Add(Documents.Run("Parasitemia: ", FontWeight = FontWeights.Bold))
 115             txtImageInformation.Inlines.Add(parasitemiaStr)
 116             txtImageInformation.Inlines.Add(Documents.LineBreak())
 117
 118             txtImageInformation.Inlines.Add(Documents.Run("Average erytrocyte diameter: ", FontWeight = FontWeights.Bold))
 119             txtImageInformation.Inlines.Add(Documents.Run(srcImg.config.RBCRadius.ToString()))
 120             txtImageInformation.Inlines.Add(Documents.LineBreak())
 121
 122             txtImageInformation.Inlines.Add(Documents.Run("Last analysis: ", FontWeight = FontWeights.Bold))
 123             txtImageInformation.Inlines.Add(Documents.Run(if srcImg.dateLastAnalysis.Ticks = 0L then "<Never>" else srcImg.dateLastAnalysis.ToLocalTime().ToString()))
 124         | _ -> ()
 125
 126     let updateGlobalParasitemia () =
 127         txtGlobalParasitemia.Text <- parasitemiaText state.GlobalParasitemia
 128
 129     let updateViewportPreview () =
 130         for preview in stackPreviews.Children |> Seq.cast<Views.ImageSourcePreview> do
 131             let srcImg = preview.Tag :?> SourceImage
 132             if Some srcImg = state.CurrentImage then
 133                 preview.viewport.Visibility <- Visibility.Visible
 134
 135                 let canvasWidth = canvasCurrentImage.ActualWidth * currentScale
 136                 let canvasHeight = canvasCurrentImage.ActualHeight * currentScale
 137                 let previewWidth = (preview.ActualWidth - preview.BorderThickness.Left - preview.BorderThickness.Right)
 138                 let previewHeight = (preview.ActualHeight - preview.BorderThickness.Top - preview.BorderThickness.Bottom)
 139
 140                 let marginLeft = previewWidth * (scrollViewCurrentImage.HorizontalOffset - borderCurrentImage.BorderThickness.Left) / canvasWidth - 2.
 141                 let marginRight = previewWidth * (canvasWidth - (scrollViewCurrentImage.HorizontalOffset - borderCurrentImage.BorderThickness.Right) - scrollViewCurrentImage.ViewportWidth) / canvasWidth - 2.
 142                 let marginTop = previewHeight * (scrollViewCurrentImage.VerticalOffset - borderCurrentImage.BorderThickness.Top) / canvasHeight - 2.
 143                 let marginBottom = previewHeight * (canvasHeight - (scrollViewCurrentImage.VerticalOffset - borderCurrentImage.BorderThickness.Bottom) - scrollViewCurrentImage.ViewportHeight) / canvasHeight - 2.
 144
 145                 preview.viewport.Margin <-
 146                     Thickness(
 147                         marginLeft,
 148                         marginTop,
 149                         marginRight,
 150                         marginBottom)
 151             else
 152                 preview.viewport.Visibility <- Visibility.Hidden
 153
 154     let rec setAsInfected (rbc: RBC) (infected: bool) =
 155         state.SetAsInfected rbc infected
 156         canvasCurrentImage.Children
 157         |> Seq.cast<Views.RBCFrame>
 158         |> Seq.iter
 159             (fun frame ->
 160                 if (frame.Tag :?> RBC) = rbc
 161                 then
 162                     setRBCFrameStyle rbc frame)
 163         updateRBCFramesPreview ()
 164         updateCurrentImageInformation ()
 165         updateGlobalParasitemia ()
 166
 167     and RBCFrame (rbc: RBC) : Views.RBCFrame =
 168         let frame = RBCFrameFromExisting rbc (Views.RBCFrame())
 169         frame.SetValue(Panel.ZIndexProperty, Int32.MaxValue - rbc.num) // To be sure the
 170         frame.menuRBCSetAsHealthy.Click.AddHandler(fun obj args -> setAsInfected (frame.Tag :?> RBC) false)
 171         frame.menuRBCSetAsInfected.Click.AddHandler(fun obj args -> setAsInfected (frame.Tag :?> RBC) true)
 172         frame.ContextMenuOpening.AddHandler(
 173             fun obj args ->
 174                 if (frame.Tag :?> RBC).infected
 175                 then
 176                     frame.menuRBCSetAsHealthy.Visibility <- Visibility.Visible
 177                     frame.menuRBCSetAsInfected.Visibility <- Visibility.Collapsed
 178                 else
 179                     frame.menuRBCSetAsHealthy.Visibility <- Visibility.Collapsed
 180                     frame.menuRBCSetAsInfected.Visibility <- Visibility.Visible)
 181
 182         frame.ContextMenuClosing.AddHandler(fun obj args -> if not frame.IsMouseOver then highlightRBCFrame frame false )
 183         frame.MouseEnter.AddHandler(fun obj args -> highlightRBCFrame frame true)
 184         frame.MouseLeave.AddHandler(fun obj args -> if not frame.grid.ContextMenu.IsOpen then highlightRBCFrame frame false)
 185         frame
 186
 187     and updateRBCFramesPreview () =
 188         match state.CurrentImage with
 189         | Some srcImg ->
 190             let mutable currentPreview = 0
 191             for rbc in srcImg.rbcs |> List.filter (fun rbc -> displayHealthy || rbc.infected) do
 192                 let previewInfected =
 193                     if currentPreview < stackRBC.Children.Count
 194                     then
 195                         RBCFrameFromExisting rbc (stackRBC.Children.[currentPreview] :?> Views.RBCFrame)
 196                     else
 197                         let f = RBCFrame rbc
 198                         f.MouseLeftButtonUp.AddHandler(fun obj args -> zoomToRBC (f.Tag :?> RBC))
 199                         stackRBC.Children.Add(f) |> ignore
 200                         f
 201
 202                 currentPreview <- currentPreview + 1
 203
 204                 previewInfected.Height <- stackRBC.ActualHeight
 205                 previewInfected.Width <- stackRBC.ActualHeight * rbc.size.Width / rbc.size.Height
 206                 previewInfected.border.Fill <- ImageBrush(BitmapSourceConvert.ToBitmapSource(extractRBCPreview srcImg.img rbc))
 207
 208             stackRBC.Children.RemoveRange(currentPreview, stackRBC.Children.Count - currentPreview)
 209         | _ -> ()
 210
 211         updateViewportPreview ()
 212
 213     let updateRBCFramesCurrent () =
 214         match state.CurrentImage with
 215         | Some srcImg ->
 216             let mutable currentCanvas = 0
 217             for rbc in srcImg.rbcs do
 218                 let frame =
 219                     if currentCanvas < canvasCurrentImage.Children.Count
 220                     then
 221                         RBCFrameFromExisting rbc (canvasCurrentImage.Children.[currentCanvas] :?> Views.RBCFrame)
 222                     else
 223                         let f = RBCFrame rbc
 224                         f.Root.Opacity <- 0.7
 225                         canvasCurrentImage.Children.Add(f) |> ignore
 226                         f
 227
 228                 currentCanvas <- currentCanvas + 1
 229
 230                 Canvas.SetLeft(frame, rbc.center.X - rbc.size.Width / 2.)
 231                 Canvas.SetTop(frame, rbc.center.Y - rbc.size.Height / 2.)
 232
 233             for i in currentCanvas .. canvasCurrentImage.Children.Count - 1 do
 234                 canvasCurrentImage.Children.[i].Visibility <- Visibility.Hidden
 235         | _ -> ()
 236
 237     let saveCurrentDocument () =
 238         if state.FilePath = ""
 239         then
 240             let dialog = SaveFileDialog(AddExtension = true, DefaultExt = PiaZ.extension, Filter = PiaZ.filter);
 241             let res = dialog.ShowDialog()
 242             if res.HasValue && res.Value
 243             then
 244                 state.FilePath <- dialog.FileName
 245                 state.Save()
 246         else
 247             state.Save()
 248
 249     // Ask the use to save the current document if neccessary.
 250     let askSaveCurrent () =
 251         if state.AlteredSinceLastSave
 252         then
 253             match MessageBox.Show("Would you like to save the current document?", "Saving the current document", MessageBoxButton.YesNo, MessageBoxImage.Question) with
 254             | MessageBoxResult.Yes -> saveCurrentDocument ()
 255             | _ -> ()
 256
 257     let updateCurrentImage () =
 258         match state.CurrentImage with
 259         | Some srcImg ->
 260             // Highlight the preview.
 261             stackPreviews.Children
 262             |> Seq.cast<Views.ImageSourcePreview>
 263             |> Seq.iter (fun preview -> preview.border.BorderThickness <- Thickness(if preview.Tag = (srcImg :> Object) then 3. else 0.))
 264
 265             canvasCurrentImage.Height <- float srcImg.img.Height
 266             canvasCurrentImage.Width <- float srcImg.img.Width
 267             canvasCurrentImage.Background <- ImageBrush(BitmapSourceConvert.ToBitmapSource(srcImg.img))
 268
 269             updateRBCFramesCurrent ()
 270             updateRBCFramesPreview ()
 271             updateCurrentImageInformation ()
 272         | None ->
 273             stackRBC.Children.Clear()
 274             canvasCurrentImage.Children.Clear()
 275             canvasCurrentImage.Background <- Brushes.Black
 276
 277     let setCurrentImage (srcImg: SourceImage) =
 278         if state.CurrentImage.IsNone || state.CurrentImage.Value <> srcImg
 279         then
 280             state.CurrentImage <- Some srcImg
 281             updateCurrentImage ()
 282
 283     let addPreview (srcImg: SourceImage) =
 284         let imgCtrl = Views.ImageSourcePreview(Margin = Thickness(3.))
 285
 286         imgCtrl.menuRemoveImage.Click.AddHandler(fun obj args ->
 287             stackPreviews.Children.Remove(imgCtrl)
 288             let srcImg = imgCtrl.Tag :?> SourceImage
 289             let currentRemoved = Some srcImg = state.CurrentImage
 290             state.RemoveSourceImage srcImg
 291             if currentRemoved
 292             then
 293                 updateCurrentImage()
 294             stackPreviews.Children |> Seq.cast<Views.ImageSourcePreview> |> Seq.iter (fun imgPreview -> imgPreview.txtImageNumber.Text <- (imgPreview.Tag :?> SourceImage).num.ToString()))
 295
 296         imgCtrl.Tag <- srcImg
 297         imgCtrl.txtImageNumber.Text <- srcImg.num.ToString()
 298         let width = 200
 299         let height = srcImg.img.Height * width / srcImg.img.Width
 300         imgCtrl.imagePreview.Source <- BitmapSourceConvert.ToBitmapSource(srcImg.img.Resize(width, height, Emgu.CV.CvEnum.Inter.Cubic))
 301         stackPreviews.Children.Add(imgCtrl) |> ignore
 302
 303         // Zoom to a mouse position into the control 'imgCtrl'.
 304         let zoomTo (mousePos: Point) =
 305             let canvasW = canvasCurrentImage.ActualWidth * currentScale
 306             let canvasH = canvasCurrentImage.ActualHeight * currentScale
 307             let centerX = (mousePos.X - imgCtrl.BorderThickness.Left) / (imgCtrl.ActualWidth - imgCtrl.BorderThickness.Left) * canvasW
 308             let centerY = (mousePos.Y - imgCtrl.BorderThickness.Top) / (imgCtrl.ActualHeight - imgCtrl.BorderThickness.Top) * canvasH
 309             scrollViewCurrentImage.ScrollToHorizontalOffset(centerX - scrollViewCurrentImage.ViewportWidth / 2. + borderCurrentImage.BorderThickness.Left)
 310             scrollViewCurrentImage.ScrollToVerticalOffset(centerY - scrollViewCurrentImage.ViewportHeight / 2. + borderCurrentImage.BorderThickness.Top)
 311
 312         imgCtrl.MouseLeftButtonDown.AddHandler(fun obj args ->
 313             setCurrentImage (state.SourceImages |> Seq.find (fun srcImg -> (srcImg :> Object) = imgCtrl.Tag))
 314             imgCtrl.UpdateLayout()
 315             zoomTo (args.GetPosition(imgCtrl))
 316             imgCtrl.CaptureMouse() |> ignore)
 317
 318         imgCtrl.MouseMove.AddHandler(fun obj args ->
 319             if imgCtrl.IsMouseCaptured
 320             then
 321                 zoomTo (args.GetPosition(imgCtrl)))
 322
 323         imgCtrl.MouseLeftButtonUp.AddHandler(fun obj args ->
 324             if imgCtrl.IsMouseCaptured
 325             then
 326                 imgCtrl.ReleaseMouseCapture())
 327
 328     let updatePreviews () =
 329         stackPreviews.Children.Clear ()
 330         for srcImg in state.SourceImages do
 331             addPreview srcImg
 332         updateCurrentImage ()
 333
 334     let updateGUI () =
 335         txtPatient.Text <- state.PatientID
 336         updatePreviews ()
 337         updateGlobalParasitemia ()
 338
 339     let loadFile (filepath: string) =
 340         askSaveCurrent ()
 341         state.FilePath <- filepath
 342         state.Load()
 343         updateGUI ()
 344
 345     txtPatient.LostFocus.AddHandler(fun obj args -> state.PatientID <- txtPatient.Text)
 346
 347     menuExit.Click.AddHandler(fun obj args ->
 348         askSaveCurrent ()
 349         mainWindow.Root.Close())
 350
 351     menuSaveFile.Click.AddHandler(fun obj args -> saveCurrentDocument ())
 352
 353     menuLoadFile.Click.AddHandler(fun obj args ->
 354         // TODO: if current state not saved and not empty, ask to save it.
 355         let dialog = OpenFileDialog(Filter = PiaZ.filter)
 356         let res = dialog.ShowDialog()
 357         if res.HasValue && res.Value
 358         then loadFile dialog.FileName)
 359
 360     menuNewFile.Click.AddHandler(fun obj args ->
 361         askSaveCurrent ()
 362         state.Reset()
 363         updateGUI())
 364
 365     menuAddSourceImage.Click.AddHandler(fun obj args ->
 366         let dialog = OpenFileDialog(Filter = "Image Files|*.png;*.jpg;*.tif;*.tiff", Multiselect = true)
 367         let res = dialog.ShowDialog()
 368         if res.HasValue && res.Value
 369         then
 370             let noSourceImage = state.SourceImages.Count() = 0
 371
 372             for filename in dialog.FileNames do
 373                 let srcImg = state.AddSourceImage filename defaultConfig
 374                 addPreview srcImg
 375
 376             updateGlobalParasitemia ()
 377
 378             if noSourceImage
 379             then
 380                 updateCurrentImage ())
 381
 382     menuAnalysis.SubmenuOpened.AddHandler(fun obj args -> menuStartAnalysis.IsEnabled <- state.SourceImages.Count() > 0)
 383
 384     menuStartAnalysis.Click.AddHandler(fun obj args ->
 385         if Analysis.showWindow mainWindow.Root state
 386         then
 387             updateGlobalParasitemia ()
 388             updateCurrentImage ())
 389
 390     menuHightlightRBC.Click.AddHandler(fun obj args ->
 391         displayHealthy <- menuHightlightRBC.IsChecked
 392         updateRBCFramesPreview ()
 393         updateRBCFramesCurrent ())
 394
 395     menuAbout.Click.AddHandler(fun obj args -> About.showWindow mainWindow.Root)
 396
 397     // Zoom on the current image.
 398     let adjustCurrentImageBorders (deltaX: float) (deltaY: float) =
 399         borderCurrentImage.BorderThickness <-
 400             Thickness(
 401                 (scrollViewCurrentImage.ViewportWidth + deltaX) / 2.,
 402                 (scrollViewCurrentImage.ViewportHeight + deltaY) / 2.,
 403                 (scrollViewCurrentImage.ViewportWidth + deltaX) / 2.,
 404                 (scrollViewCurrentImage.ViewportHeight + deltaY) / 2.)
 405
 406     canvasCurrentImage.SizeChanged.AddHandler(fun obj args ->
 407         let deltaX = args.NewSize.Width - args.PreviousSize.Width
 408         let deltaY = args.NewSize.Height - args.PreviousSize.Height
 409         if deltaX > 0.5 || deltaY > 0.5
 410         then
 411             adjustCurrentImageBorders 0.0 0.0
 412             // Center the view at the center of the image initialy.
 413             scrollViewCurrentImage.UpdateLayout()
 414             scrollViewCurrentImage.ScrollToHorizontalOffset(borderCurrentImage.ActualWidth / 2. - scrollViewCurrentImage.ViewportWidth / 2.)
 415             scrollViewCurrentImage.ScrollToVerticalOffset(borderCurrentImage.ActualHeight / 2. - scrollViewCurrentImage.ViewportHeight / 2.))
 416
 417     scrollViewCurrentImage.SizeChanged.AddHandler(fun obj args ->
 418         let deltaX = args.NewSize.Width - args.PreviousSize.Width
 419         let deltaY = args.NewSize.Height - args.PreviousSize.Height
 420         adjustCurrentImageBorders deltaX deltaY
 421         scrollViewCurrentImage.ScrollToHorizontalOffset(scrollViewCurrentImage.HorizontalOffset + deltaX / 8.)
 422         scrollViewCurrentImage.ScrollToVerticalOffset(scrollViewCurrentImage.VerticalOffset + deltaY / 8.))
 423
 424     let mutable maxScale = 4.
 425     let mutable minScale = 0.25
 426     let currentImageScaleTransform = ScaleTransform()
 427     canvasCurrentImage.LayoutTransform <- currentImageScaleTransform
 428     borderCurrentImage.PreviewMouseWheel.AddHandler(fun obj args ->
 429         let scaleFactor = if args.Delta > 0 then 2.0 else 0.5
 430         if scaleFactor > 1. && currentScale < maxScale || scaleFactor < 1. && currentScale > minScale
 431         then
 432             let previousScale = currentScale
 433             currentScale <-
 434                 let newScale = currentScale * scaleFactor
 435                 if newScale > maxScale then maxScale elif newScale < minScale then minScale else newScale
 436             let realScaleFactor = currentScale / previousScale
 437
 438             let centerX = scrollViewCurrentImage.HorizontalOffset + scrollViewCurrentImage.ViewportWidth / 2. - borderCurrentImage.BorderThickness.Left
 439             let centerY = scrollViewCurrentImage.VerticalOffset + scrollViewCurrentImage.ViewportHeight / 2. - borderCurrentImage.BorderThickness.Top
 440
 441             currentImageScaleTransform.ScaleX <- currentScale
 442             currentImageScaleTransform.ScaleY <- currentScale
 443
 444             scrollViewCurrentImage.ScrollToHorizontalOffset(centerX * realScaleFactor - scrollViewCurrentImage.ViewportWidth / 2. + borderCurrentImage.BorderThickness.Left)
 445             scrollViewCurrentImage.ScrollToVerticalOffset(centerY * realScaleFactor - scrollViewCurrentImage.ViewportHeight / 2. + borderCurrentImage.BorderThickness.Top)
 446
 447         args.Handled <- true)
 448
 449     // Pan on the current image.
 450     let mutable scrollStartPosition = Point(0., 0.)
 451     let mutable scrollStartOffsetX = 0.
 452     let mutable scrollStartOffsetY = 0.
 453     borderCurrentImage.PreviewMouseLeftButtonDown.AddHandler(fun obj args ->
 454         scrollStartPosition <- args.GetPosition(scrollViewCurrentImage)
 455         scrollStartOffsetX <- scrollViewCurrentImage.HorizontalOffset
 456         scrollStartOffsetY <- scrollViewCurrentImage.VerticalOffset
 457         borderCurrentImage.Cursor <- Input.Cursors.ScrollAll
 458         borderCurrentImage.CaptureMouse() |> ignore
 459         args.Handled <- true)
 460
 461     borderCurrentImage.PreviewMouseMove.AddHandler(fun obj args ->
 462         if borderCurrentImage.IsMouseCaptured
 463         then
 464             let position = args.GetPosition(scrollViewCurrentImage)
 465             let deltaX = scrollStartPosition.X - position.X
 466             let deltaY = scrollStartPosition.Y - position.Y
 467             scrollViewCurrentImage.ScrollToHorizontalOffset(deltaX + scrollStartOffsetX)
 468             scrollViewCurrentImage.ScrollToVerticalOffset(deltaY + scrollStartOffsetY)
 469
 470             args.Handled <- true)
 471
 472     borderCurrentImage.PreviewMouseLeftButtonUp.AddHandler(fun obj args ->
 473         if borderCurrentImage.IsMouseCaptured
 474         then
 475             borderCurrentImage.Cursor <- Input.Cursors.Arrow
 476             borderCurrentImage.ReleaseMouseCapture()
 477             args.Handled <- true)
 478
 479     // Viewport preview.
 480     scrollViewCurrentImage.ScrollChanged.AddHandler(fun obj args -> updateViewportPreview ())
 481
 482     mainWindow.Root.Show()
 483
 484     match fileToOpen with
 485     | Some filepath -> loadFile filepath
 486     | None -> ()
 487
 488     app.Run()