Comments (4)
(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.
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.
I think a python plugin could easily run "Locate in Project View" automatically...
from gnatstudio.
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)
- With binder shared, unable to automatically set exception breakpoint HOT 1
- Gnat Studio and the language server processes saturate a core for minutes with large arrays HOT 5
- Where's the Macintosh release? HOT 1
- Improvement of mouse-over message for inherited subprogram call HOT 1
- Idea: split comments and literal strings on Return keypress HOT 2
- Feature Suggestion: Alire Support
- Dependency List Out of Date HOT 2
- Latests release (20230501) crashes at start-up on Windows 11; libglib2.0-0.dll with exception 0x400000015 HOT 3
- gnatdoc: Unexpected reappearance of previous parameter for custom tags present in the same line HOT 2
- Unable to build gnatstudio - several HOT 1
- macOS Sonoma 14.1 version | M2 gnat is not working
- Installing newer version of GNATSTUDIO, now I cannot build anything HOT 6
- Idea: suggestion for missing "with Ada.Strings.Fixed" and "Ada.Characters.Handling" HOT 1
- Continuous Release 20240506 app image fails to create a directory due to the mount point being read-only.
- CR 20240506: Compiler errors do not get highlighted HOT 2
- Side effect of change for Python 3.11 in configure.
- Autocomplete Delimiters HOT 1
- LAL Highlighters (Continuous Build Issue) HOT 1
- iterator specification refused witihout subtype qualification
- @: must appear in the right-hand side of an assignment statement
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from gnatstudio.