cpitclaudel/company-coq

jump to definition: new window

aa755 opened this issue · 0 comments

aa755 commented

Is it possible for "jump to definition" to open the target in a new window. That way, one can interact with both files concurrently instead of retracting the old one.