- let window = Views.AboutWindow()
- window.Root.Owner <- parent
- 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 butClose: Button = ctrl "butClose"
- let txtAbout: TextBlock = ctrl "txtAbout"
-
- let linkHESSO: Documents.Hyperlink = ctrl "linkHESSO"
- let linkCHUV: Documents.Hyperlink = ctrl "linkCHUV"
- let linkGBurri: Documents.Hyperlink = ctrl "linkGBurri"
+ let win = Views.AboutWindow()
+ win.Root.Owner <- parent
+ win.Root.Left <- parent.Left + parent.ActualWidth / 2. - win.Root.Width / 2.
+ win.Root.Top <- parent.Top + parent.ActualHeight / 2. - win.Root.Height / 2.