public Glass(HeapScroller selector) : base(selector) { }
public TypeGraphComponent(Profile p) { Profile = p; Title = "Type Graph"; box = new VBox (); box.Spacing = 12; paned = new HPaned (); Add (box); scroller = new HeapScroller (p); scroller.OnScrolled += delegate { t = null; d.UpdateCache (); d.QueueDraw (); }; box.PackStart (scroller, false, false, 0); tl = new TypeList (p); d = new TypeGrpah (tl, this); ScrolledWindow sw = new ScrolledWindow (); sw.Add (new TypeListNodeStore (tl).GetNodeView ()); paned.Pack1 (d, true, true); paned.Pack2 (sw, false, true); box.PackStart (paned, true, true, 0); }
public Manipulator(HeapScroller selector) { this.selector = selector; }