Notepad.cs 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434
  1. #nullable enable
  2. namespace UICatalog.Scenarios;
  3. [ScenarioMetadata ("Notepad", "Multi-tab text editor using the TabView control.")]
  4. [ScenarioCategory ("Controls")]
  5. [ScenarioCategory ("TabView")]
  6. [ScenarioCategory ("TextView")]
  7. public class Notepad : Scenario
  8. {
  9. private TabView? _focusedTabView;
  10. private int _numNewTabs = 1;
  11. private TabView? _tabView;
  12. public Shortcut? LenShortcut { get; private set; }
  13. public override void Main ()
  14. {
  15. Application.Init ();
  16. Window top = new ()
  17. {
  18. BorderStyle = LineStyle.None,
  19. };
  20. // MenuBar
  21. MenuBar menu = new ();
  22. menu.Add (
  23. new MenuBarItem (
  24. "_File",
  25. [
  26. new MenuItem
  27. {
  28. Title = "_New",
  29. Key = Key.N.WithCtrl.WithAlt,
  30. Action = New
  31. },
  32. new MenuItem
  33. {
  34. Title = "_Open",
  35. Action = Open
  36. },
  37. new MenuItem
  38. {
  39. Title = "_Save",
  40. Action = Save
  41. },
  42. new MenuItem
  43. {
  44. Title = "Save _As",
  45. Action = () => SaveAs ()
  46. },
  47. new MenuItem
  48. {
  49. Title = "_Close",
  50. Action = Close
  51. },
  52. new MenuItem
  53. {
  54. Title = "_Quit",
  55. Action = Quit
  56. }
  57. ]
  58. )
  59. );
  60. menu.Add (
  61. new MenuBarItem (
  62. "_About",
  63. [
  64. new MenuItem
  65. {
  66. Title = "_About",
  67. Action = () => MessageBox.Query (ApplicationImpl.Instance, "Notepad", "About Notepad...", "Ok")
  68. }
  69. ]
  70. )
  71. );
  72. _tabView = CreateNewTabView ();
  73. _tabView.Style.ShowBorder = true;
  74. _tabView.ApplyStyleChanges ();
  75. _tabView.X = 0;
  76. _tabView.Y = Pos.Bottom (menu);
  77. _tabView.Width = Dim.Fill ();
  78. _tabView.Height = Dim.Fill (1);
  79. LenShortcut = new (Key.Empty, "Len: ", null);
  80. // StatusBar
  81. StatusBar statusBar = new (
  82. [
  83. new (Application.QuitKey, "Quit", Quit),
  84. new (Key.F2, "Open", Open),
  85. new (Key.F1, "New", New),
  86. new (Key.F3, "Save", Save),
  87. new (Key.F6, "Close", Close),
  88. LenShortcut
  89. ]
  90. )
  91. {
  92. AlignmentModes = AlignmentModes.IgnoreFirstOrLast
  93. };
  94. top.Add (menu, _tabView, statusBar);
  95. _focusedTabView = _tabView;
  96. _tabView.SelectedTabChanged += TabView_SelectedTabChanged;
  97. _tabView.HasFocusChanging += (s, e) => _focusedTabView = _tabView;
  98. top.Ready += (s, e) =>
  99. {
  100. New ();
  101. LenShortcut.Title = $"Len:{_focusedTabView?.Text?.Length ?? 0}";
  102. };
  103. Application.Run (top);
  104. top.Dispose ();
  105. Application.Shutdown ();
  106. }
  107. public void Save ()
  108. {
  109. if (_focusedTabView?.SelectedTab is { })
  110. {
  111. Save (_focusedTabView, _focusedTabView.SelectedTab);
  112. }
  113. }
  114. public void Save (TabView tabViewToSave, Tab tabToSave)
  115. {
  116. if (tabToSave is not OpenedFile tab)
  117. {
  118. return;
  119. }
  120. if (tab.File is null)
  121. {
  122. SaveAs ();
  123. }
  124. else
  125. {
  126. tab.Save ();
  127. }
  128. tabViewToSave.SetNeedsDraw ();
  129. }
  130. public bool SaveAs ()
  131. {
  132. if (_focusedTabView?.SelectedTab is not OpenedFile tab)
  133. {
  134. return false;
  135. }
  136. SaveDialog fd = new ();
  137. Application.Run (fd);
  138. if (string.IsNullOrWhiteSpace (fd.Path) || fd.Canceled)
  139. {
  140. fd.Dispose ();
  141. return false;
  142. }
  143. tab.File = new (fd.Path);
  144. tab.Text = fd.FileName;
  145. tab.Save ();
  146. fd.Dispose ();
  147. return true;
  148. }
  149. private void Close ()
  150. {
  151. if (_focusedTabView?.SelectedTab is { })
  152. {
  153. Close (_focusedTabView, _focusedTabView.SelectedTab);
  154. }
  155. }
  156. private void Close (TabView tv, Tab tabToClose)
  157. {
  158. if (tabToClose is not OpenedFile tab)
  159. {
  160. return;
  161. }
  162. _focusedTabView = tv;
  163. if (tab.UnsavedChanges)
  164. {
  165. int? result = MessageBox.Query (ApplicationImpl.Instance,
  166. "Save Changes",
  167. $"Save changes to {tab.Text.TrimEnd ('*')}",
  168. "Yes",
  169. "No",
  170. "Cancel"
  171. );
  172. if (result is null || result == 2)
  173. {
  174. // user cancelled
  175. return;
  176. }
  177. if (result == 0)
  178. {
  179. if (tab.File is null)
  180. {
  181. SaveAs ();
  182. }
  183. else
  184. {
  185. tab.Save ();
  186. }
  187. }
  188. }
  189. // close and dispose the tab
  190. tv.RemoveTab (tab);
  191. tab.View?.Dispose ();
  192. _focusedTabView = tv;
  193. // If last tab is closed, open a new one
  194. if (tv.Tabs.Count == 0)
  195. {
  196. New ();
  197. }
  198. }
  199. private TabView CreateNewTabView ()
  200. {
  201. TabView tv = new () { X = 0, Y = 0, Width = Dim.Fill (), Height = Dim.Fill () };
  202. tv.TabClicked += TabView_TabClicked;
  203. tv.SelectedTabChanged += TabView_SelectedTabChanged;
  204. tv.HasFocusChanging += (s, e) => _focusedTabView = tv;
  205. return tv;
  206. }
  207. private void New () { Open (null!, $"new {_numNewTabs++}"); }
  208. private void Open ()
  209. {
  210. OpenDialog open = new () { Title = "Open", AllowsMultipleSelection = true };
  211. Application.Run (open);
  212. bool canceled = open.Canceled;
  213. if (!canceled)
  214. {
  215. foreach (string path in open.FilePaths)
  216. {
  217. if (string.IsNullOrEmpty (path) || !File.Exists (path))
  218. {
  219. break;
  220. }
  221. // TODO should open in focused TabView
  222. Open (new (path), Path.GetFileName (path));
  223. }
  224. }
  225. open.Dispose ();
  226. }
  227. /// <summary>Creates a new tab with initial text</summary>
  228. /// <param name="fileInfo">File that was read or null if a new blank document</param>
  229. /// <param name="tabName"></param>
  230. private void Open (FileInfo? fileInfo, string tabName)
  231. {
  232. if (_focusedTabView is null)
  233. {
  234. return;
  235. }
  236. OpenedFile tab = new (this) { DisplayText = tabName, File = fileInfo };
  237. tab.View = tab.CreateTextView (fileInfo);
  238. tab.SavedText = tab.View.Text;
  239. tab.RegisterTextViewEvents (_focusedTabView);
  240. _focusedTabView.AddTab (tab, true);
  241. }
  242. private void Quit () { Application.RequestStop (); }
  243. private void TabView_SelectedTabChanged (object? sender, TabChangedEventArgs e)
  244. {
  245. if (LenShortcut is { })
  246. {
  247. LenShortcut.Title = $"Len:{e.NewTab?.View?.Text?.Length ?? 0}";
  248. }
  249. e.NewTab?.View?.SetFocus ();
  250. }
  251. private void TabView_TabClicked (object? sender, TabMouseEventArgs e)
  252. {
  253. // we are only interested in right clicks
  254. if (!e.MouseEvent.Flags.HasFlag (MouseFlags.Button3Clicked))
  255. {
  256. return;
  257. }
  258. View [] items;
  259. if (e.Tab is null)
  260. {
  261. items = [new MenuItem { Title = "Open", Action = Open }];
  262. }
  263. else
  264. {
  265. var tv = (TabView)sender!;
  266. items =
  267. [
  268. new MenuItem { Title = "Save", Action = () => Save (_focusedTabView!, e.Tab) },
  269. new MenuItem { Title = "Close", Action = () => Close (tv, e.Tab) }
  270. ];
  271. }
  272. PopoverMenu contextMenu = new (items);
  273. // Registering with the PopoverManager will ensure that the context menu is closed when the view is no longer focused
  274. // and the context menu is disposed when it is closed.
  275. if (sender is TabView tabView && tabView.App?.Popover is { })
  276. {
  277. tabView.App.Popover.Register (contextMenu);
  278. }
  279. contextMenu.MakeVisible (e.MouseEvent.ScreenPosition);
  280. e.MouseEvent.Handled = true;
  281. }
  282. private class OpenedFile (Notepad notepad) : Tab
  283. {
  284. private readonly Notepad _notepad = notepad;
  285. public OpenedFile CloneTo (TabView other)
  286. {
  287. OpenedFile newTab = new (_notepad) { DisplayText = Text, File = File };
  288. newTab.View = newTab.CreateTextView (newTab.File);
  289. newTab.SavedText = newTab.View.Text;
  290. newTab.RegisterTextViewEvents (other);
  291. other.AddTab (newTab, true);
  292. return newTab;
  293. }
  294. public View CreateTextView (FileInfo? file)
  295. {
  296. var initialText = string.Empty;
  297. if (file is { Exists: true })
  298. {
  299. initialText = System.IO.File.ReadAllText (file.FullName);
  300. }
  301. return new TextView
  302. {
  303. X = 0,
  304. Y = 0,
  305. Width = Dim.Fill (),
  306. Height = Dim.Fill (),
  307. Text = initialText,
  308. AllowsTab = false
  309. };
  310. }
  311. public FileInfo? File { get; set; }
  312. public void RegisterTextViewEvents (TabView parent)
  313. {
  314. if (View is not TextView textView)
  315. {
  316. return;
  317. }
  318. // when user makes changes rename tab to indicate unsaved
  319. textView.ContentsChanged += (s, k) =>
  320. {
  321. // if current text doesn't match saved text
  322. bool areDiff = UnsavedChanges;
  323. if (areDiff)
  324. {
  325. if (!DisplayText.EndsWith ('*'))
  326. {
  327. DisplayText = Text + '*';
  328. }
  329. }
  330. else
  331. {
  332. if (DisplayText.EndsWith ('*'))
  333. {
  334. DisplayText = Text.TrimEnd ('*');
  335. }
  336. }
  337. if (_notepad.LenShortcut is { })
  338. {
  339. _notepad.LenShortcut.Title = $"Len:{textView.Text.Length}";
  340. }
  341. };
  342. }
  343. /// <summary>The text of the tab the last time it was saved</summary>
  344. public string? SavedText { get; set; }
  345. public bool UnsavedChanges => View is { } && !string.Equals (SavedText, View.Text);
  346. internal void Save ()
  347. {
  348. if (View is null || File is null || string.IsNullOrWhiteSpace (File.FullName))
  349. {
  350. return;
  351. }
  352. string newText = View.Text;
  353. System.IO.File.WriteAllText (File.FullName, newText);
  354. SavedText = newText;
  355. DisplayText = DisplayText.TrimEnd ('*');
  356. }
  357. }
  358. }