All pull requests

Pull requests

• filemanager: fix mouse click handling, crashes, and header-click edge case

  #28·mp3cko opened Sep 10, 2026·2 tasks·

  ·

• Fix filemanager mouse click

  #27·omarelladen opened Jan 10, 2026·

  ·
  2

  10

• snippets: allow escaped shell vars like ${\1:?foo}

  #23·AndrewDDavis opened Mar 22, 2025·

  ·

• filemanager: move README to help file and import it into the help system

  #22·AndrewDDavis opened Feb 15, 2025·

  ·

• Better user experience for the filemanager plugin

  #19·X-Ryl669 opened Sep 15, 2023·

  ·
  1

• Open in tab for filemanager plugin

  #18·X-Ryl669 opened Sep 14, 2023·

  ·
  1

• Fix filemanager Git detection and disable diffgutter in file tree pane

  #17·humannum14916 opened Jul 13, 2023·

  ·

• Fixed tex snippets and added support for tab indentation

  #14·Therrk opened Feb 7, 2023·

  ·
  1

• Update javascript.snippets

  #12·noctisdb opened Mar 31, 2022·

  ·