All pull requests

Pull requests

• optional abbreviations on hover

  #535·u66u opened Jul 21, 2026·

  ·

• feat(infoview): add history navigation and sectioned display

  #531·epjnre opened Jul 6, 2026·

  ·

• Preserve stale goal state while processing

  #485·valeratrades opened Mar 16, 2026·

  ·
  1

  5

• Only bind mappings if they're not already used

  #477·danebidev opened Feb 20, 2026·

  ·
  3