Community
Participate
Working Groups
Build Identifier: running locally version with git hash: 39b177e381cd1a6efd5f5c15a160824e4d4cf820 It only works in the editor, which is mighty annoying because... - I find the navigator too impractical to find files in larger projects. So I have to first open a random file so that I can then press CTRL-SHIFT-R to open the file I actually want to open. Reproducible: Always Steps to Reproduce: 1. Open orion's navigator view. 2. press CTRL-SHIFT-R 3. nothing happens
See also Andrew's bug 368864 for some discussion. *** This bug has been marked as a duplicate of bug 366445 ***