dask / dask-labextension

My JLab panes look like this:

If we removed the word Dask from all of the titles then it would be easier to see what was what. We already have the icon to distinguish these from other kinds of tabs.

Agreed, the icon should suffice.

A fairly simple fix, requires updating the labels here:

dask-labextension/src/index.ts

Lines 192 to 194 in 3e35dd2

    
           if (`Dask ${dashboard.label}` !== widget.title.label) { 
        
             widget.title.label = `Dask ${dashboard.label}`; 
        
           }

and here:

dask-labextension/src/index.ts

Line 389 in 3e35dd2

dashboard.title.label = `Dask ${dashboardItem.label}`;

Should I interpret this last comment as "this is easy so I'll do it soon" or "this is easy so it might be a good opportunity to bring in some new". If the latter, Alex?

I'm happy to do it soon (it is indeed very easy), but I'm also happy to bring on any extra hands. I suppose I intended it as a flare to see if any interested contributors popped up.

Go silent masses go!

…

On Tue, Jul 20, 2021 at 8:04 AM Ian Rose ***@***.***> wrote: I'm happy to do it soon (it is indeed very easy), but I'm also happy to bring on any extra hands. I suppose I intended it as a flare to see if any interested contributors popped up. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#201 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACKZTAOJQCZEOUS65JODCLTYWGANANCNFSM5AVZ4IBQ> .

silent masses, lol

Well, I came over here to complain about something (and find out that Ian has already fixed it, fantastic), so I may as well fix someone else's frustration while I'm here instead.

	if (`Dask ${dashboard.label}` !== widget.title.label) {
	widget.title.label = `Dask ${dashboard.label}`;
	}

Remove "Dask " from the titles of tabs