Example #1
0
        Widget CreateExceptionValueTreeView()
        {
            ExceptionValueTreeView       = new ObjectValueTreeView();
            ExceptionValueTreeView.Frame = DebuggingService.CurrentFrame;
            ExceptionValueTreeView.ModifyBase(StateType.Normal, Styles.ExceptionCaughtDialog.TreeBackgroundColor.ToGdkColor());
            ExceptionValueTreeView.AllowPopupMenu = false;
            ExceptionValueTreeView.AllowExpanding = true;
            ExceptionValueTreeView.AllowPinning   = false;
            ExceptionValueTreeView.AllowEditing   = false;
            ExceptionValueTreeView.AllowAdding    = false;
            ExceptionValueTreeView.RulesHint      = false;

            ExceptionValueTreeView.Selection.Changed += ExceptionValueSelectionChanged;
            ExceptionValueTreeView.Show();

            var scrolled = new ScrolledWindow {
                HeightRequest = 180, HscrollbarPolicy = PolicyType.Automatic, VscrollbarPolicy = PolicyType.Automatic
            };

            scrolled.ShadowType = ShadowType.None;
            scrolled.Add(ExceptionValueTreeView);
            scrolled.Show();

            return(scrolled);
        }
Example #2
0
        Widget CreateExceptionValueTreeView()
        {
            ExceptionValueTreeView       = new ObjectValueTreeView();
            ExceptionValueTreeView.Frame = DebuggingService.CurrentFrame;
            ExceptionValueTreeView.ModifyBase(StateType.Normal, Styles.ExceptionCaughtDialog.ValueTreeBackgroundColor.ToGdkColor());
            ExceptionValueTreeView.AllowPopupMenu = false;
            ExceptionValueTreeView.AllowExpanding = true;
            ExceptionValueTreeView.AllowPinning   = false;
            ExceptionValueTreeView.AllowEditing   = false;
            ExceptionValueTreeView.AllowAdding    = false;
            ExceptionValueTreeView.RulesHint      = true;
            ExceptionValueTreeView.ModifyFont(Pango.FontDescription.FromString(Platform.IsWindows ? "9" : "11"));
            ExceptionValueTreeView.RulesHint = false;

            ExceptionValueTreeView.Show();

            var scrolled = new ScrolledWindow {
                HeightRequest    = 180,
                HscrollbarPolicy = PolicyType.Automatic,
                VscrollbarPolicy = PolicyType.Automatic
            };

            scrolled.ShadowType = ShadowType.None;
            scrolled.Add(ExceptionValueTreeView);
            scrolled.Show();
            var vbox = new VBox();

            expanderProperties = WrapInExpander(GettextCatalog.GetString("Properties"), scrolled);
            vbox.PackStart(new VBox(), false, false, 5);
            vbox.PackStart(expanderProperties, true, true, 0);
            vbox.ShowAll();
            return(vbox);
        }
        Widget CreateExceptionValueTreeView()
        {
            ExceptionValueTreeView       = new ObjectValueTreeView();
            ExceptionValueTreeView.Frame = DebuggingService.CurrentFrame;
            ExceptionValueTreeView.ModifyBase(StateType.Normal, new Gdk.Color(223, 228, 235));
            ExceptionValueTreeView.AllowPopupMenu = false;
            ExceptionValueTreeView.AllowExpanding = true;
            ExceptionValueTreeView.AllowPinning   = false;
            ExceptionValueTreeView.AllowEditing   = false;
            ExceptionValueTreeView.AllowAdding    = false;
            ExceptionValueTreeView.RulesHint      = false;

            ExceptionValueTreeView.Selection.Changed += ExceptionValueSelectionChanged;
            ExceptionValueTreeView.Show();

            var scrolled = new ScrolledWindow()
            {
                HeightRequest = 180
            };

            scrolled.ShadowType = ShadowType.None;
            scrolled.Add(ExceptionValueTreeView);
            scrolled.Show();

            return(scrolled);
        }