Filepicker file highlighting#145

r37r05p3C7 wants to merge 2 commits into

WillyJL:mainWillyJL/F95Checker:mainfrom

r37r05p3C7:file-highlightr37r05p3C7/F95Checker:file-highlightCopy head branch name to clipboard