Giter VIP home page Giter VIP logo

Comments (4)

briot avatar briot commented on August 27, 2024

(former GPS developer, no longer involved) I like this idea. The reason it was not implemented initially is for efficiency reasons. The contents of the Project view was populated lazily, and thus we did not have all the files information in there. A further complication is that a given source file might occur several times (if you use an aggregate project, or configure the Project view to nest imported projects), so there could be ambiguities as to which one GPS should select.

But since we implemented the filtering at the top of the Project view, it would now be much easier to implement your suggestion. One possible approach, which could be done from a pure python plugin, is simply to populate the filter, though that is definitely not the best.

Do you know about the "Locate in Project view" contextual menu in editors ? That might help too.

Finally, I think you will need to provide more context for your last sentence, which seems unrelated to the rest of your suggestions ?

Personal note: nice to hear from you again ! :-)

from gnatstudio.

stcarrez avatar stcarrez commented on August 27, 2024

To open a file in the editor, you can double click on the file in the project files tree. This double click is
a pain. To solve that, Intellij Idea has the "Autoscroll to source" which when enabled, allows you to
use the simple click (which does nothing today in gps). I guess this mode could be easily implemented.

Thanks for the "Locate in Project view" this helps a little but it would really help more to have it run
automatically when you click on the editor tab. I really love Intellij Idea for that (and other things)!

from gnatstudio.

setton avatar setton commented on August 27, 2024

I think a python plugin could easily run "Locate in Project View" automatically...

from gnatstudio.

AnthonyLeonardoGracio avatar AnthonyLeonardoGracio commented on August 27, 2024

Hi Stephane,

You can now enable the "Auto Locate File" plugin via the Preferences/Plugins page to have this feature.

Regards,

from gnatstudio.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.