Notepad.cs 14 KB

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