public MacClientSessionViewControllers(SessionWindowController sessionWindowController) { if (sessionWindowController == null) { throw new ArgumentNullException(nameof(sessionWindowController)); } WindowTabs = sessionWindowController.TabViewController; Status = (StatusToolbarViewController)NSStoryboard .FromName("Main", NSBundle.MainBundle) .InstantiateControllerWithIdentifier("StatusToolbar"); Status.Session = sessionWindowController.Session; // Set up history. Provide initial seed from NSUsrDefaults if the history file does not exist. string [] history = null; if (!History.HistoryFile.FileExists) { history = NSUserDefaults.StandardUserDefaults.StringArrayForKey("repl.history"); } ReplHistory = new History(history: history, persist: Prefs.Repl.SaveHistory.GetValue()); PreferenceStore.Default.Subscribe(ObservePreferenceChange); ReplHistory.Append(String.Empty); Messages = new MessageViewController( Status, new NSAlertMessageViewDelegate(sessionWindowController.Window)); WorkbookTargets = new WorkbookTargetsViewController(); }
public WpfClientSessionViewControllers( WpfMessageViewDelegate messageViewDelegate, WpfDialogMessageViewDelegate dialogMessageViewDelegate) { // Set up history. Don't provide any initial seed, History will load the saved history on its // own if the persist flag is true. ReplHistory = new History(history: null, persist: Prefs.Repl.SaveHistory.GetValue()); Messages = new MessageViewController(messageViewDelegate, dialogMessageViewDelegate); WorkbookTargets = new WorkbookTargetsViewController(); PreferenceStore.Default.Subscribe(ObservePreferenceChange); }
public ViewControllersProxy( ClientSession session, IClientSessionViewControllers viewControllers) { if (session.SessionKind == ClientSessionKind.LiveInspection) { ReplHistory = viewControllers.ReplHistory; } Messages = viewControllers.Messages; WorkbookTargets = viewControllers.WorkbookTargets; }
public WorkbookTargetSelector(WorkbookTargetsViewController viewController) { if (viewController == null) { throw new ArgumentNullException(nameof(viewController)); } this.viewController = viewController; BezelStyle = NSBezelStyle.TexturedRounded; Title = String.Empty; IsSpringLoaded = true; Menu.AutoEnablesItems = false; Hidden = true; viewController.CollectionChanged += ViewController_CollectionChanged; viewController.PropertyChanged += ViewController_PropertyChanged; Activated += (sender, e) => { var index = (int)IndexOfSelectedItem; viewController.SelectedTarget = index < 0 ? null : viewController [index]; }; }