efe01c39f1ed8c87ad0df638ec22657b430b10c3
1
module ParasitemiaUI.GUI
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.
18 open ParasitemiaCore.Config
19 open ParasitemiaCore.Utils
22 let run (defaultConfig
: Config) (fileToOpen
: string option) =
23 let app = new Application()
24 let mainWindow = Views.MainWindow()
25 let ctrl (name
: string): 'a = mainWindow.Root.FindName(name) :?> 'a
27 let colorRBCHealthy = Brushes.YellowGreen
28 let colorRBCInfected = Brushes.Red
30 let state = State.State()
31 let mutable currentScale = 1.
32 let mutable displayHealthy = false
34 let menuExit: MenuItem = ctrl "menuExit"
35 let menuSaveFile: MenuItem = ctrl "menuSave"
36 let menuSaveAsFile: MenuItem = ctrl "menuSaveAs"
37 let menuLoadFile: MenuItem = ctrl "menuOpen"
38 let menuNewFile: MenuItem = ctrl "menuNew"
39 let menuAddSourceImage: MenuItem = ctrl "menuAddSourceImage"
40 let menuAnalysis: MenuItem = ctrl "menuAnalysis"
41 let menuStartAnalysis: MenuItem = ctrl "menuStartAnalysis"
42 let menuView: MenuItem = ctrl "menuView"
43 let menuHightlightRBC: MenuItem = ctrl "menuHightlightRBC"
44 let menuAbout: MenuItem = ctrl "menuAbout"
46 let txtDocumentStatus: TextBlock = ctrl "txtDocumentStatus"
47 let txtMessageStatus: TextBlock = ctrl "txtMessageStatus"
49 let txtPatient: TextBox = ctrl "txtPatient"
50 let txtGlobalParasitemia: TextBox = ctrl "txtGlobalParasitemia"
52 let stackPreviews: StackPanel = ctrl "stackPreviews"
54 let scrollViewCurrentImage: ScrollViewer = ctrl "scrollViewCurrentImage"
55 let borderCurrentImage: Border = ctrl "borderCurrentImage"
56 let canvasCurrentImage: Canvas = ctrl "canvasCurrentImage"
57 let txtImageInformation1: TextBlock = ctrl "txtImageInformation1"
58 let txtImageInformation2: TextBlock = ctrl "txtImageInformation2"
60 let scrollRBC: ScrollViewer = ctrl "scrollRBC"
61 let stackRBC: StackPanel = ctrl "stackRBC"
64 menuHightlightRBC.IsChecked <- displayHealthy
67 let extractRBCPreview (img
: Emgu.CV.Image<Emgu.CV.Structure.Bgr, byte
>) (rbc
: RBC) : Emgu.CV.Image<Emgu.CV.Structure.Bgr, byte
> =
68 let rbcWidth = rbc
.size
.Width
69 let rbcHeight = rbc
.size
.Height
70 let x = rbc
.center
.X - rbcWidth / 2. |> roundInt
71 let y = rbc
.center
.Y - rbcHeight / 2. |> roundInt
72 let w = roundInt
rbcWidth
73 let h = roundInt
rbcHeight
74 img
.GetSubRect(System.Drawing.Rectangle(System.Drawing.Point((if x < 0 then 0 else x), (if y < 0 then 0 else y)),
75 System.Drawing.Size((if x + w >= img
.Width then img
.Width - x else w),
76 (if y + h >= img
.Height then img
.Height - y else h))))
78 let setRBCFrameStyle (rbc
: RBC) (frame
: Views.RBCFrame) =
79 frame
.Opacity <- if displayHealthy || rbc.setManually
|| rbc.infected
then 1. else 0.
80 let color = if rbc.infected
then colorRBCInfected else colorRBCHealthy
81 frame
.manuallyAdded
.Visibility <- if rbc.setManually
then Visibility.Visible else Visibility.Hidden
82 frame
.manuallyAdded
.Fill <- color
83 frame
.border
.Stroke <- color
85 let RBCFrameFromExisting (rbc: RBC) (frame
: Views.RBCFrame) : Views.RBCFrame =
86 frame
.Visibility <- Visibility.Visible
87 frame
.Height <- rbc.size
.Height
88 frame
.Width <- rbc.size
.Width
90 setRBCFrameStyle rbc frame
91 frame
.border
.StrokeThickness <- 1.
92 frame
.txtRBCNumber
.Text <- rbc.num
.ToString()
95 let updateDocumentStatus () =
96 txtDocumentStatus.Text <- if state.FilePath = "" then "<New document>" else state.FilePath
98 let statusMessageTimer = Threading.DispatcherTimer()
99 statusMessageTimer.Tick.AddHandler(fun obj args
-> statusMessageTimer.Stop(); txtMessageStatus.Text <- "")
100 statusMessageTimer.Interval <- TimeSpan(0, 0, 2)
101 let displayStatusMessage (message
: string) =
102 txtMessageStatus.Text <- message
103 statusMessageTimer.Stop()
104 statusMessageTimer.Start()
106 let highlightRBCFrame (frame
: Views.RBCFrame) (highlight
: bool) =
107 let rbc = frame
.Tag :?> RBC
110 frame
.border
.StrokeThickness <- 3.
111 if not
rbc.infected
&& not
rbc.setManually
&& not
displayHealthy then frame
.Opacity <- 1.
113 frame
.border
.StrokeThickness <- 1.
114 if not
rbc.infected
&& not
rbc.setManually
&& not
displayHealthy then frame
.Opacity <- 0.
116 let zoomToRBC (rbc: RBC) =
117 scrollViewCurrentImage.ScrollToHorizontalOffset(rbc.center
.X * currentScale - scrollViewCurrentImage.ViewportWidth / 2. + borderCurrentImage.BorderThickness.Left)
118 scrollViewCurrentImage.ScrollToVerticalOffset(rbc.center
.Y * currentScale - scrollViewCurrentImage.ViewportHeight / 2. + borderCurrentImage.BorderThickness.Top)
120 let percentText (nbTotal
: int, nb
: int) : string =
125 let percent = 100. * (float nb) / (float nbTotal)
126 sprintf
"%.1f %% (%d / %d)" percent nb nbTotal
128 let updateCurrentImageInformation () =
129 match state.CurrentImage with
131 let parasitemiaStr = percentText (state.ImageParasitemia srcImg
)
132 txtImageInformation1.Inlines.Clear()
133 txtImageInformation1.Inlines.Add(Documents.Run("Parasitemia: ", FontWeight = FontWeights.Bold))
134 txtImageInformation1.Inlines.Add(parasitemiaStr)
135 txtImageInformation1.Inlines.Add(Documents.LineBreak())
137 txtImageInformation1.Inlines.Add(Documents.Run("Last analysis: ", FontWeight = FontWeights.Bold))
138 txtImageInformation1.Inlines.Add(Documents.Run(if srcImg
.dateLastAnalysis
.Ticks = 0L then "<Never>" else srcImg.dateLastAnalysis
.ToLocalTime().ToString()))
140 txtImageInformation2.Inlines.Clear()
141 let alteredStr = percentText (state.ImageNbAltered srcImg)
142 txtImageInformation2.Inlines.Add(Documents.Run("Number of erytrocytes manually altered: ", FontWeight = FontWeights.Bold))
143 txtImageInformation2.Inlines.Add(Documents.Run(alteredStr))
144 txtImageInformation2.Inlines.Add(Documents.LineBreak())
146 txtImageInformation2.Inlines.Add(Documents.Run("Average erytrocyte diameter: ", FontWeight = FontWeights.Bold))
147 txtImageInformation2.Inlines.Add(Documents.Run(srcImg.config
.RBCRadius.ToString()))
150 let updateGlobalParasitemia () =
151 txtGlobalParasitemia.Text <- percentText state.GlobalParasitemia
153 let updateViewportPreview () =
154 for preview
in stackPreviews.Children |> Seq.cast
<Views.ImageSourcePreview> do
155 let srcImg = preview
.Tag :?> SourceImage
156 if Some srcImg = state.CurrentImage then
157 preview
.viewport
.Visibility <- Visibility.Visible
159 let canvasWidth = canvasCurrentImage.ActualWidth * currentScale
160 let canvasHeight = canvasCurrentImage.ActualHeight * currentScale
161 let previewWidth = (preview
.ActualWidth - preview
.BorderThickness.Left - preview
.BorderThickness.Right)
162 let previewHeight = (preview
.ActualHeight - preview
.BorderThickness.Top - preview
.BorderThickness.Bottom)
164 let marginLeft = previewWidth * (scrollViewCurrentImage.HorizontalOffset - borderCurrentImage.BorderThickness.Left) / canvasWidth - 2.
165 let marginRight = previewWidth * (canvasWidth - (scrollViewCurrentImage.HorizontalOffset - borderCurrentImage.BorderThickness.Right) - scrollViewCurrentImage.ViewportWidth) / canvasWidth - 2.
166 let marginTop = previewHeight * (scrollViewCurrentImage.VerticalOffset - borderCurrentImage.BorderThickness.Top) / canvasHeight - 2.
167 let marginBottom = previewHeight * (canvasHeight - (scrollViewCurrentImage.VerticalOffset - borderCurrentImage.BorderThickness.Bottom) - scrollViewCurrentImage.ViewportHeight) / canvasHeight - 2.
169 preview
.viewport
.Margin <-
176 preview
.viewport
.Visibility <- Visibility.Hidden
178 let rec setAsInfected
(rbc: RBC) (infected
: bool) =
179 state.SetAsInfected rbc infected
180 canvasCurrentImage.Children
181 |> Seq.cast
<Views.RBCFrame>
184 if (frame
.Tag :?> RBC) = rbc
186 setRBCFrameStyle rbc frame
)
187 updateRBCFramesPreview
()
188 updateCurrentImageInformation ()
189 updateGlobalParasitemia ()
191 and RBCFrame (rbc: RBC) : Views.RBCFrame =
192 let frame = RBCFrameFromExisting rbc (Views.RBCFrame())
193 frame.SetValue(Panel.ZIndexProperty, Int32.MaxValue - rbc.num
) // To be sure the
194 frame.menuRBCSetAsHealthy
.Click.AddHandler(fun obj args
-> setAsInfected
(frame.Tag :?> RBC) false)
195 frame.menuRBCSetAsInfected
.Click.AddHandler(fun obj args
-> setAsInfected
(frame.Tag :?> RBC) true)
196 frame.ContextMenuOpening.AddHandler(
198 if (frame.Tag :?> RBC).infected
200 frame.menuRBCSetAsHealthy
.Visibility <- Visibility.Visible
201 frame.menuRBCSetAsInfected
.Visibility <- Visibility.Collapsed
203 frame.menuRBCSetAsHealthy
.Visibility <- Visibility.Collapsed
204 frame.menuRBCSetAsInfected
.Visibility <- Visibility.Visible)
206 frame.ContextMenuClosing.AddHandler(fun obj args
-> if not
frame.IsMouseOver then highlightRBCFrame frame false )
207 frame.MouseEnter.AddHandler(fun obj args
-> highlightRBCFrame frame true)
208 frame.MouseLeave.AddHandler(fun obj args
-> if not
frame.grid
.ContextMenu.IsOpen then highlightRBCFrame frame false)
211 and updateRBCFramesPreview
() =
212 match state.CurrentImage with
214 let mutable currentPreview = 0
215 for rbc in srcImg.rbcs
|> List.filter
(fun rbc -> displayHealthy || rbc.infected
) do
216 let previewInfected =
217 if currentPreview < stackRBC.Children.Count
219 RBCFrameFromExisting rbc (stackRBC.Children.[currentPreview] :?> Views.RBCFrame)
222 f.MouseLeftButtonUp.AddHandler(fun obj args
-> zoomToRBC (f.Tag :?> RBC))
223 stackRBC.Children.Add(f) |> ignore
226 currentPreview <- currentPreview + 1
228 previewInfected.Height <- stackRBC.ActualHeight
229 previewInfected.Width <- stackRBC.ActualHeight * rbc.size
.Width / rbc.size
.Height
230 previewInfected.border
.Fill <- ImageBrush(BitmapSourceConvert.ToBitmapSource(extractRBCPreview srcImg.img
rbc))
232 stackRBC.Children.RemoveRange(currentPreview, stackRBC.Children.Count - currentPreview)
235 updateViewportPreview ()
237 let updateRBCFramesCurrent () =
238 match state.CurrentImage with
240 let mutable currentCanvas = 0
241 for rbc in srcImg.rbcs
do
243 if currentCanvas < canvasCurrentImage.Children.Count
245 RBCFrameFromExisting rbc (canvasCurrentImage.Children.[currentCanvas] :?> Views.RBCFrame)
248 f.Root.Opacity <- 0.7
249 canvasCurrentImage.Children.Add(f) |> ignore
252 currentCanvas <- currentCanvas + 1
254 Canvas.SetLeft(frame, rbc.center
.X - rbc.size
.Width / 2.)
255 Canvas.SetTop(frame, rbc.center
.Y - rbc.size
.Height / 2.)
257 for i
in currentCanvas .. canvasCurrentImage.Children.Count - 1 do
258 canvasCurrentImage.Children.[i
].Visibility <- Visibility.Hidden
261 let askDocumentPathToSave () : string option =
262 let dialog = SaveFileDialog(AddExtension = true, DefaultExt = PiaZ.extension
, Filter = PiaZ.filter
)
264 if state.FilePath <> ""
266 dialog.FileName <- FileInfo(state.FilePath).Name
267 elif
state.PatientID <> ""
269 dialog.FileName <- state.PatientID + PiaZ.extension
271 let res = dialog.ShowDialog()
272 if res.HasValue && res.Value then
277 let saveCurrentDocument () =
279 if state.FilePath = ""
281 match askDocumentPathToSave () with
283 state.FilePath <- filepath
288 updateDocumentStatus ()
289 displayStatusMessage "Document saved"
291 | :? IOException as ex ->
292 Log.Error(ex.ToString())
293 MessageBox.Show(sprintf
"The document cannot be save in '%s'" state.FilePath, "Error saving the document", MessageBoxButton.OK, MessageBoxImage.Error) |> ignore
295 let saveCurrentDocumentAsNewFile () =
296 match askDocumentPathToSave () with
298 state.FilePath <- filepath
299 saveCurrentDocument ()
302 // Ask the use to save the current document if neccessary.
303 let askSaveCurrent () =
304 if state.AlteredSinceLastSave
306 match MessageBox.Show("Would you like to save the current document?", "Saving the current document", MessageBoxButton.YesNo, MessageBoxImage.Question) with
307 | MessageBoxResult.Yes -> saveCurrentDocument ()
310 let updateCurrentImage () =
311 match state.CurrentImage with
313 // Highlight the preview.
314 stackPreviews.Children
315 |> Seq.cast
<Views.ImageSourcePreview>
316 |> Seq.iter
(fun preview
-> preview
.border
.BorderThickness <- Thickness(if preview
.Tag = (srcImg :> Object) then 3. else 0.))
318 canvasCurrentImage.Height <- float srcImg.img
.Height
319 canvasCurrentImage.Width <- float srcImg.img
.Width
320 canvasCurrentImage.Background <- ImageBrush(BitmapSourceConvert.ToBitmapSource(srcImg.img
))
322 updateRBCFramesCurrent ()
323 updateRBCFramesPreview
()
324 updateCurrentImageInformation ()
326 stackRBC.Children.Clear()
327 canvasCurrentImage.Children.Clear()
328 canvasCurrentImage.Background <- Brushes.Black
330 let setCurrentImage (srcImg: SourceImage) =
331 if state.CurrentImage.IsNone || state.CurrentImage.Value <> srcImg
333 state.CurrentImage <- Some srcImg
334 updateCurrentImage ()
336 let addPreview (srcImg: SourceImage) =
337 let imgCtrl = Views.ImageSourcePreview(Margin = Thickness(3.))
339 imgCtrl.menuRemoveImage
.Click.AddHandler(fun obj args
->
340 stackPreviews.Children.Remove(imgCtrl)
341 let srcImg = imgCtrl.Tag :?> SourceImage
342 let currentRemoved = Some srcImg = state.CurrentImage
343 state.RemoveSourceImage srcImg
347 stackPreviews.Children |> Seq.cast
<Views.ImageSourcePreview> |> Seq.iter
(fun imgPreview
-> imgPreview
.txtImageNumber
.Text <- (imgPreview
.Tag :?> SourceImage).num
.ToString()))
349 imgCtrl.Tag <- srcImg
350 imgCtrl.txtImageNumber
.Text <- srcImg.num
.ToString()
352 let height = srcImg.img
.Height * width / srcImg.img
.Width
353 imgCtrl.imagePreview
.Source <- BitmapSourceConvert.ToBitmapSource(srcImg.img
.Resize(width, height, Emgu.CV.CvEnum.Inter.Cubic))
354 stackPreviews.Children.Add(imgCtrl) |> ignore
356 // Zoom to a mouse position into the control 'imgCtrl'.
357 let zoomTo (mousePos
: Point) =
358 let canvasW = canvasCurrentImage.ActualWidth * currentScale
359 let canvasH = canvasCurrentImage.ActualHeight * currentScale
360 let centerX = (mousePos
.X - imgCtrl.BorderThickness.Left) / (imgCtrl.ActualWidth - imgCtrl.BorderThickness.Left) * canvasW
361 let centerY = (mousePos
.Y - imgCtrl.BorderThickness.Top) / (imgCtrl.ActualHeight - imgCtrl.BorderThickness.Top) * canvasH
362 scrollViewCurrentImage.ScrollToHorizontalOffset(centerX - scrollViewCurrentImage.ViewportWidth / 2. + borderCurrentImage.BorderThickness.Left)
363 scrollViewCurrentImage.ScrollToVerticalOffset(centerY - scrollViewCurrentImage.ViewportHeight / 2. + borderCurrentImage.BorderThickness.Top)
365 imgCtrl.MouseLeftButtonDown.AddHandler(fun obj args
->
366 setCurrentImage (state.SourceImages |> Seq.find
(fun srcImg -> (srcImg :> Object) = imgCtrl.Tag))
367 imgCtrl.UpdateLayout()
368 zoomTo (args
.GetPosition(imgCtrl))
369 imgCtrl.CaptureMouse() |> ignore
)
371 imgCtrl.MouseMove.AddHandler(fun obj args
->
372 if imgCtrl.IsMouseCaptured
374 zoomTo (args
.GetPosition(imgCtrl)))
376 imgCtrl.MouseLeftButtonUp.AddHandler(fun obj args
->
377 if imgCtrl.IsMouseCaptured
379 imgCtrl.ReleaseMouseCapture())
381 let updatePreviews () =
382 stackPreviews.Children.Clear ()
383 for srcImg in state.SourceImages do
385 updateCurrentImage ()
388 txtPatient.Text <- state.PatientID
390 updateGlobalParasitemia ()
391 updateDocumentStatus ()
393 let loadFile (filepath
: string) =
395 let previousFilePath = state.FilePath
397 state.FilePath <- filepath
401 | :? IOException as ex ->
402 Log.Error(ex.ToString())
403 state.FilePath <- previousFilePath
404 MessageBox.Show(sprintf
"The document cannot be loaded from '%s'" state.FilePath, "Error loading the document", MessageBoxButton.OK, MessageBoxImage.Error) |> ignore
406 txtPatient.TextChanged.AddHandler(fun obj args
-> state.PatientID <- txtPatient.Text)
408 menuExit.Click.AddHandler(fun obj args
->
410 mainWindow.Root.Close())
412 menuSaveFile.Click.AddHandler(fun obj args
-> saveCurrentDocument ())
413 menuSaveAsFile.Click.AddHandler(fun obj args
-> saveCurrentDocumentAsNewFile ())
415 menuLoadFile.Click.AddHandler(fun obj args
->
416 // TODO: if current state not saved and not empty, ask to save it.
417 let dialog = OpenFileDialog(Filter = PiaZ.filter
)
418 let res = dialog.ShowDialog()
419 if res.HasValue && res.Value
420 then loadFile dialog.FileName)
422 menuNewFile.Click.AddHandler(fun obj args
->
427 menuAddSourceImage.Click.AddHandler(fun obj args
->
428 let dialog = OpenFileDialog(Filter = "Image Files|*.png;*.jpg;*.tif;*.tiff", Multiselect = true)
429 let res = dialog.ShowDialog()
430 if res.HasValue && res.Value
432 let noSourceImage = state.SourceImages.Count() = 0
434 for filename
in dialog.FileNames do
436 let srcImg = state.AddSourceImage filename defaultConfig
440 Log.Error(ex.ToString())
441 MessageBox.Show(sprintf
"Unable to read the image from '%s'" filename, "Error adding an image", MessageBoxButton.OK, MessageBoxImage.Error) |> ignore
443 updateGlobalParasitemia ()
447 updateCurrentImage ())
449 menuAnalysis.SubmenuOpened.AddHandler(fun obj args
-> menuStartAnalysis.IsEnabled <- state.SourceImages.Count() > 0)
451 menuStartAnalysis.Click.AddHandler(fun obj args
->
452 if Analysis.showWindow
mainWindow.Root state
454 updateGlobalParasitemia ()
455 updateCurrentImage ())
457 menuHightlightRBC.Click.AddHandler(fun obj args
->
458 displayHealthy <- menuHightlightRBC.IsChecked
459 updateRBCFramesPreview
()
460 updateRBCFramesCurrent ())
462 menuAbout.Click.AddHandler(fun obj args
-> About.showWindow
mainWindow.Root)
464 // Zoom on the current image.
465 let adjustCurrentImageBorders (deltaX
: float) (deltaY
: float) =
466 borderCurrentImage.BorderThickness <-
468 (scrollViewCurrentImage.ViewportWidth + deltaX
) / 2.,
469 (scrollViewCurrentImage.ViewportHeight + deltaY
) / 2.,
470 (scrollViewCurrentImage.ViewportWidth + deltaX
) / 2.,
471 (scrollViewCurrentImage.ViewportHeight + deltaY
) / 2.)
473 canvasCurrentImage.SizeChanged.AddHandler(fun obj args
->
474 let deltaX = args
.NewSize.Width - args
.PreviousSize.Width
475 let deltaY = args
.NewSize.Height - args
.PreviousSize.Height
476 if deltaX > 0.5 || deltaY > 0.5
478 adjustCurrentImageBorders 0.0
0.0
479 // Center the view at the center of the image initialy.
480 scrollViewCurrentImage.UpdateLayout()
481 scrollViewCurrentImage.ScrollToHorizontalOffset(borderCurrentImage.ActualWidth / 2. - scrollViewCurrentImage.ViewportWidth / 2.)
482 scrollViewCurrentImage.ScrollToVerticalOffset(borderCurrentImage.ActualHeight / 2. - scrollViewCurrentImage.ViewportHeight / 2.))
484 scrollViewCurrentImage.SizeChanged.AddHandler(fun obj args
->
485 let deltaX = args
.NewSize.Width - args
.PreviousSize.Width
486 let deltaY = args
.NewSize.Height - args
.PreviousSize.Height
487 adjustCurrentImageBorders deltaX deltaY
488 scrollViewCurrentImage.ScrollToHorizontalOffset(scrollViewCurrentImage.HorizontalOffset + deltaX / 8.)
489 scrollViewCurrentImage.ScrollToVerticalOffset(scrollViewCurrentImage.VerticalOffset + deltaY / 8.))
491 let mutable maxScale = 4.
492 let mutable minScale = 0.25
493 let currentImageScaleTransform = ScaleTransform()
494 canvasCurrentImage.LayoutTransform <- currentImageScaleTransform
495 borderCurrentImage.PreviewMouseWheel.AddHandler(fun obj args
->
496 let scaleFactor = if args
.Delta > 0 then 2.0 else 0.5
497 if scaleFactor > 1. && currentScale < maxScale || scaleFactor < 1. && currentScale > minScale
499 let previousScale = currentScale
501 let newScale = currentScale * scaleFactor
502 if newScale > maxScale then maxScale elif newScale < minScale then minScale else newScale
503 let realScaleFactor = currentScale / previousScale
505 let centerX = scrollViewCurrentImage.HorizontalOffset + scrollViewCurrentImage.ViewportWidth / 2. - borderCurrentImage.BorderThickness.Left
506 let centerY = scrollViewCurrentImage.VerticalOffset + scrollViewCurrentImage.ViewportHeight / 2. - borderCurrentImage.BorderThickness.Top
508 currentImageScaleTransform.ScaleX <- currentScale
509 currentImageScaleTransform.ScaleY <- currentScale
511 scrollViewCurrentImage.ScrollToHorizontalOffset(centerX * realScaleFactor - scrollViewCurrentImage.ViewportWidth / 2. + borderCurrentImage.BorderThickness.Left)
512 scrollViewCurrentImage.ScrollToVerticalOffset(centerY * realScaleFactor - scrollViewCurrentImage.ViewportHeight / 2. + borderCurrentImage.BorderThickness.Top)
514 args
.Handled <- true)
516 // Pan on the current image.
517 let mutable scrollStartPosition = Point(0., 0.)
518 let mutable scrollStartOffsetX = 0.
519 let mutable scrollStartOffsetY = 0.
520 borderCurrentImage.PreviewMouseLeftButtonDown.AddHandler(fun obj args
->
521 scrollStartPosition <- args
.GetPosition(scrollViewCurrentImage)
522 scrollStartOffsetX <- scrollViewCurrentImage.HorizontalOffset
523 scrollStartOffsetY <- scrollViewCurrentImage.VerticalOffset
524 borderCurrentImage.Cursor <- Input.Cursors.ScrollAll
525 borderCurrentImage.CaptureMouse() |> ignore
526 args
.Handled <- true)
528 borderCurrentImage.PreviewMouseMove.AddHandler(fun obj args
->
529 if borderCurrentImage.IsMouseCaptured
531 let position = args
.GetPosition(scrollViewCurrentImage)
532 let deltaX = scrollStartPosition.X - position.X
533 let deltaY = scrollStartPosition.Y - position.Y
534 scrollViewCurrentImage.ScrollToHorizontalOffset(deltaX + scrollStartOffsetX)
535 scrollViewCurrentImage.ScrollToVerticalOffset(deltaY + scrollStartOffsetY)
537 args
.Handled <- true)
539 borderCurrentImage.PreviewMouseLeftButtonUp.AddHandler(fun obj args
->
540 if borderCurrentImage.IsMouseCaptured
542 borderCurrentImage.Cursor <- Input.Cursors.Arrow
543 borderCurrentImage.ReleaseMouseCapture()
544 args
.Handled <- true)
547 mainWindow.Root.InputBindings.Add(
549 FSharp.ViewModule.FunCommand((fun obj
-> saveCurrentDocument ()), (fun obj
-> true)),
550 Input.KeyGesture(Input.Key.S, Input.ModifierKeys.Control))) |> ignore
553 scrollViewCurrentImage.ScrollChanged.AddHandler(fun obj args
-> updateViewportPreview ())
555 updateDocumentStatus ()
557 mainWindow.Root.Show()
559 match fileToOpen
with
560 | Some filepath
-> loadFile filepath