Open file in ide

Fixes what I commented on 4eb4f1a rebased #564.