Esempio n. 1
0
 private void CreateUI()
 {
     _usertooltip = new Tooltip(this)
     {
         IsHidden = true
     };
     _loadingsprite = new LoadingSprite(this)
     {
         Positioner = (o) =>
         {
             return(new System.Drawing.Point(
                        Width - _loadingsprite.Width,
                        0));
         },
     };
     _loadingsprite.SetImage(GameResources.loading);
     _toolbar = new Toolbar(this, game.Track)
     {
         Y = 0
     };
     ZoomSlider    = new ZoomSlider(this, game.Track);
     _timeline     = new TimelineWidget(this, game.Track);
     _topcontainer = new Panel(this)
     {
         Height = 100,
         Dock   = Dock.Top,
         ShouldDrawBackground = false,
         MouseInputEnabled    = false,
     };
     _infobar      = new RightInfoBar(_topcontainer, game.Track);
     _trackinfobar = new TrackInfoBar(_topcontainer, game.Track);
 }
 private void InitializeZoomSlider(IReadOnlyList <double> mapResolutions)
 {
     ZoomSlider.BeginInit();
     ZoomSlider.Ticks.Clear();
     for (var i = 0; i < mapResolutions.Count; i++)
     {
         ZoomSlider.Ticks.Add(i);
     }
     ZoomSlider.Minimum             = 0;
     ZoomSlider.Maximum             = mapResolutions.Count - 1;
     ZoomSlider.IsSnapToTickEnabled = true;
     ZoomSlider.TickPlacement       = TickPlacement.BottomRight;
     ZoomSlider.EndInit();
 }
Esempio n. 3
0
        public Form1()
        {
            InitializeComponent();

            ZoomSlider.Minimum        = 1;
            ZoomSlider.Maximum        = zoomCentre * 2;
            ZoomSlider.Value          = zoomCentre;
            brightnessControl.Minimum = 0;
            brightnessControl.Maximum = 100;
            brightnessControl.Value   = 0;
            maximumRadius.Minimum     = 1;
            maximumRadius.Maximum     = 100;
            minimumRadius.Minimum     = 0;
            minimumRadius.Maximum     = 100;
            ZoomSlider.Hide();
            Zoom.Hide();
        }
Esempio n. 4
0
        public MainPage()
        {
            InitializeComponent();

            // Observe slider zooms and window resizes

            var zooms   = ZoomSlider.ObserveDependencyProperty <double>(RangeBase.ValueProperty).Select(n => (int)n);
            var resizes = RootGrid.ObserveEvent <SizeChangedEventArgs>(nameof(RootGrid.SizeChanged));

            // Save the zoom level to settings after it hasn't changed for a while

            zooms.Throttle(TimeSpan.FromSeconds(1)).UiSubscribe(SaveCurrentZoom);

            // Resize the webview when the slider changes or the window resizes (with very mild debounce)

            zooms.DistinctUntilChanged()
            .CombineLatest(resizes, (n, _) => n)
            .Throttle(TimeSpan.FromMilliseconds(10))
            .UiSubscribe(ResizeWebView);

            // Set the initial zoom (default 1000)

            ZoomSlider.Value = ApplicationData.Current.LocalSettings.Values["SliderZoom"] as int? ?? 1000;
        }
Esempio n. 5
0
 private void ZoomPctTextEdit_MouseDown(object sender, MouseEventArgs e)
 {
     ShowZoomDialog();
     ZoomSlider.Focus();
 }
Esempio n. 6
0
        int _zoomPct = 100;         // private name

        private void ZoomPctTextEdit_KeyDown(object sender, KeyEventArgs e)
        {
            ShowZoomDialog();
            e.Handled = true;
            ZoomSlider.Focus();
        }