No icon if moving a terminal to the side view

[MalcolmMielle]

Bug Description:

I'm using Mistral Vibe tool in the terminal to interact with devstral2. usually, I move the terminal to the side panel on the right. When I do so, the terminal as no icon and is "invisible". It's there, I ca click on it, it works, just no icon :).

Steps to Reproduce:

1. Open a terminal
2. Move it to the right panel
3. No icon

Additional Information

• Operating System: Ubuntu 25
• Theia Version: 1.66.200

[ndoschek]

Hi, thanks for the report!
I just tested it with the current Theia IDE version 1.67.100 and the latest master applications, and the icon displays correctly in all cases for me:

I also tested it with the new terminal manager view, it shows the icon properly in the side panels too.

Do you see any errors in the console log (via the dev tools)?
We also updated the codicons version to the latest icon set, but that should not have a real effect imo.
Could you inspect the invisible icon with the dev tools and check which codicon is used for you? TIA

[MalcolmMielle]

I'm so sorry for coming up with those exotic bugs that are not reproducible X).

For me it looks like this:

There is terminal under the 0x icon.

I have a no-icon used:

So i have done a little more digging and I can get the terminal icon back when I remove:

"terminal.integrated.profiles.linux": {
        "bash": {
            "path": "/bin/bash"
        }
    },
    "terminal.integrated.defaultProfile.linux": "bash",

from my settings. I had those parameters from when theia did not open bash in my terminal even though it was default on my system (#16388). However, it seems that removing those parameters, Theia now open bash correctly :).

But at least we know that icon disappear when I set a default integrated profile to bash

[ndoschek]

Haha, no worries, thanks for digging into this and sharing your findings! This way I can also explore new parts (for me) of Theia :D

So I wasn't using terminal profiles, but after a quick look at the code, it seems this is already the answer. We currently only set an iconClass for a terminal widget when launching the (non-windows) default profile:

theia/packages/terminal/src/browser/terminal-frontend-contribution.ts

Lines 314 to 318 in 9c4cd57

	this.contributedProfileStore.registerTerminalProfile('SHELL', new ShellTerminalProfile(this, {
	shellPath: await this.resolveShellPath('${SHELL}')!,
	shellArgs: ['-l'],
	iconClass: 'codicon codicon-terminal'
	}));

However, in the case of explicitly defined profiles (like in your example), we don't assign an icon class in the options:

theia/packages/terminal/src/browser/terminal-frontend-contribution.ts

Lines 361 to 369 in 9c4cd57

	const options: TerminalWidgetOptions = {
	shellPath: shellPath,
	shellArgs: profile.args ? await this.variableResolver.resolve(profile.args) : undefined,
	useServerTitle: profile.overrideName ? false : undefined,
	env: profile.env ? await this.variableResolver.resolve(profile.env) : undefined,
	title: profile.overrideName ? id : undefined
	};
	this.userProfileStore.registerTerminalProfile(id, new ShellTerminalProfile(this, options));

Perhaps it would also make sense to set a default icon for the TerminalWidgetOptions, but I didn't have a close look yet.
If you'd be interested in looking into a fix, that would be much appreciated! Otherwise, I'll take a closer look a bit later.