Notepad.cs 14 KB

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