indicate local modifications in editor title bar

akkartik

Mar 17, 2024, 7:15 PM

2IJLEJGT3AKHYV5CGFUXSIARMS5OR55JOQHOHCSX5FZ7CJJSDVBQC

Dependencies

• [2] PO77NPCO indicate unsaved changes
• [*] R5QXEHUI somebody stop me
• [*] 5RUFNRJO start of the visual skeleton
• [*] FIUQJVL2 first draft of load/save buttons

Change contents

• file addition: 0177-has_local_modifications (----------)
  [4.2]
  + has_local_modifications = function(filename)

  + return nativefs.getInfo(App.save_dir..Directory..filename)

  + end
• edit in 0020-draw_editor_border at line 21
  [2.322]

  [2.322]
  + if has_local_modifications(Current_pane.filename) then

  + App.color{r=0.8, g=0,b=0}

  + end
• edit in 0020-draw_editor_border at line 25
  [2.368]

  [6.3845]
  + App.color(Border_color)