search

povils / phpmnd

PHP Magic Number Detector
MIT License
554 stars 46 forks source link

Make file:line selectable #113

Closed szepeviktor closed 3 years ago

szepeviktor commented 4 years ago

When double-clicking file:line the trailing dot also gets selected thus the clipboard cannot be used to paste into the command line: editor file:line.

kép

szepeviktor commented 3 years ago

Thank you.