Skip to content
Commit 5cb21217 authored by Ahmad Samir's avatar Ahmad Samir
Browse files

FileFilterHotspot: fix a couple of issues

- Handle `grep -n` output with long lines, where there is no space
  after "path/to/file:123:", we can send "path/to/file:123:bla" to
  a text editor and it seems most of them just ignore the text after
  the last ":"
- If the session pointer is null, there is nothing to do
- Guard against editorCmd not having any spaces in it, which it could
  be with the "Custom" entry (from the combobox)
- Even when the file URL doesn't match the /path/to/file:line:column
  pattern try to use the editor specified in the profile settings
parent bf75cfa9
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment