Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

File properties UI #5058

Closed
stevemessick opened this issue Sep 10, 2012 · 6 comments
Closed

File properties UI #5058

stevemessick opened this issue Sep 10, 2012 · 6 comments
Assignees
Labels
type-enhancement A request for a change that isn't a bug
Milestone

Comments

@stevemessick
Copy link
Contributor

There is no property menu on a source file entity.
Without this, it is really hard to figure out where the actual source file is located.
//Lars
////////////////////////////////////////////////////////////////////////////////////
Editor: 12099 (2012-09-09)
OS: Linux - amd64 (2.6.38.8-gg944)
JVM: 1.6.0-google-v4

SDK installed: true
Dartium installed: true

@pq
Copy link
Member

pq commented Oct 15, 2012

Removed Type-Defect label.
Added Type-Enhancement label.

@pq
Copy link
Member

pq commented Oct 15, 2012

Issue #3497 has been merged into this issue.

@pq
Copy link
Member

pq commented Oct 15, 2012

Changed the title to: "File properties UI".

@danrubel
Copy link

danrubel commented Nov 9, 2012

Perhaps a first cut should be to show the full path when you hover over the file in the Files view.

@pq
Copy link
Member

pq commented Nov 18, 2012

Added Started label.

@pq
Copy link
Member

pq commented Nov 19, 2012

Implemented w/ r15119.


Added Fixed label.

@stevemessick stevemessick added this to the M2 milestone Nov 19, 2012
@kevmoo kevmoo added type-enhancement A request for a change that isn't a bug and removed type-enhancement labels Mar 1, 2016
This issue was closed.
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
type-enhancement A request for a change that isn't a bug
Projects
None yet
Development

No branches or pull requests

4 participants