sagemathinc
Stars in "Tabs" have no visual indicators in the main file explorer system (or tabs)
Is your feature request related to a problem? Please describe. Starring files would maybe be more useful if the starring system was useable in the main file explorer (i.e., not strictly in the flyout panels).
By the way, dragging and dropping the files to reorder them in tabs is excellent. I so wish that we had time to make the main file explorer more interactive like this.
Describe the solution you'd like Some visual indicators for stars in the main file explorer (and interchangeability for using starring in both the file explorer and tabs). Maybe the tabs themselves have some indicator that they are starred?
Describe alternatives you've considered I just think starring could be more useful outside of strictly the "tabs" flyout. Completely NON-ESSENTIAL feature request.
Additional context Add any other context or screenshots about the feature request here.
