Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Improve Go to Definition #1805

Open
5 tasks done
Abiddarris opened this issue May 11, 2024 · 0 comments
Open
5 tasks done

Improve Go to Definition #1805

Abiddarris opened this issue May 11, 2024 · 0 comments
Labels
feature Feature Request

Comments

@Abiddarris
Copy link

Issue Checklist

  • I confirm that this feature request has not been previously suggested.
  • I agree to follow the project's code of conduct.
  • I have checked and verified that I am using the latest version of AndroidIDE from GitHub or F-Droid.

Additional terms

  • I understand that feature requests are subject to evaluation and may not be implemented immediately.
  • I agree to provide additional details if needed for a clearer understanding of the requested feature.

Feature description

When selecting a class, method, or field and clicking Go to Definition it should direct to the file that declares the class or method, or field.
If the file that declares the class, method, or field is inside a .jar, consider decompiling the class. However, if decompiling the class is not possible,
simply create a file that contains all public and protected methods, fields, and classes, like this:

package java.io;

public class BufferedWriter extends Writer {

    public BufferedWriter(Writer out) {}

    public BufferedWriter(Writer out, int sz) {}
    
    public void write(int c) throws IOException {}

    public void write(char cbuf[], int off, int len) throws IOException {}

    public void write(String s, int off, int len) throws IOException {}

    public void newLine() throws IOException {}

    public void flush() throws IOException {}

    public void close() throws IOException {}

}

Use Case

This definitely helps when we want to navigate around our projects.

Benefits

This definitely helps when we want to navigate around our projects.

@Abiddarris Abiddarris added the feature Feature Request label May 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature Feature Request
Projects
None yet
Development

No branches or pull requests

1 participant