You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The idea here is to make a generic file switcher attached to the main window that could display the files of the plugins, for example the Editor and the Notebook (and others if needed).
The file switcher should display a list with the possible files grouped by plugin like:
Editor file1 file2
Notebook notebook1 notebook2
The plugins should give the file switcher a list with the current files that are managing.
@ccordoba12 I need to clean the code a little bit (code style, comments, variable names, etc.), but It should be ready soon 👍, also probably write the prerequisites and steps to attach a plugin to the file switcher, and do some testing to see if this changes work for the whole functionality of the file switcher (search by file and by symbol)
The idea here is to make a generic file switcher attached to the main window that could display the files of the plugins, for example the Editor and the Notebook (and others if needed).
The file switcher should display a list with the possible files grouped by plugin like:
Editor
file1
file2
Notebook
notebook1
notebook2
The plugins should give the file switcher a list with the current files that are managing.
@ccordoba12
@goanpeca , what do you think?
The text was updated successfully, but these errors were encountered: