コード例 #1
0
ファイル: ChangesetView.cs プロジェクト: Jeff-Lewis/opentf
    public ChangesetView(Driver driver, int stopAfter)
    {
        this.driver = driver;
            this.stopAfter = stopAfter;

            InitializeChangesetList();

            ScrolledWindow scrolledWindow1 = new ScrolledWindow();
            scrolledWindow1.Add(changesetList);

            Add1(scrolledWindow1);

            viewChildren = new Notebook ();
            viewChildren.TabPos = PositionType.Bottom;
            Add2(viewChildren);

            changesetDetailView = new ChangesetDetailView(driver);
            viewChildren.AppendPage (changesetDetailView, new Label ("Details"));

            changesetDiffView = new ChangesetDiffView(driver);
            viewChildren.AppendPage (changesetDiffView, new Label ("Unified Diff"));

            int x, y, width, height, depth;
            RootWindow.GetGeometry (out x, out y, out width, out height, out depth);
            Position = Convert.ToInt32((height - 40) * 0.4);

            viewChildren.SwitchPage += OnSwitchPage;
    }
コード例 #2
0
ファイル: ChangesetView.cs プロジェクト: arleyschrock/opentf
    public ChangesetView(Driver driver, int stopAfter)
    {
        this.driver    = driver;
        this.stopAfter = stopAfter;

        InitializeChangesetList();

        ScrolledWindow scrolledWindow1 = new ScrolledWindow();

        scrolledWindow1.Add(changesetList);

        Add1(scrolledWindow1);

        viewChildren        = new Notebook();
        viewChildren.TabPos = PositionType.Bottom;
        Add2(viewChildren);

        changesetDetailView = new ChangesetDetailView(driver);
        viewChildren.AppendPage(changesetDetailView, new Label("Details"));

        changesetDiffView = new ChangesetDiffView(driver);
        viewChildren.AppendPage(changesetDiffView, new Label("Unified Diff"));

        int x, y, width, height, depth;

        RootWindow.GetGeometry(out x, out y, out width, out height, out depth);
        Position = Convert.ToInt32((height - 40) * 0.4);

        viewChildren.SwitchPage += OnSwitchPage;
    }