Skip to content

Conversation

@f321x
Copy link
Member

@f321x f321x commented Nov 4, 2025

Changes the icons of the "Tools" button to the same icon as the tab in which the button is located to make it visible that the available tools are dependent on the buttons context.

Screenshot_20251104_142408 Screenshot_20251104_142350

Changes the icons of the "Tools" button to the
icon of the tab in which the button is located so it is visible that the
available Tools are dependent on the context.
@SomberNight
Copy link
Member

I guess it is subjective but I mildly prefer the "preferences" icon. Though perhaps it's just what I got "used to".

to make it visible that the available tools are dependent on the buttons context

Well, yes, good point...

idk, no strong preference either way.

@f321x
Copy link
Member Author

f321x commented Nov 7, 2025

Yeah i also feel like the "preferences" icon approach looks a bit cleaner.
@ecdsa you wanted to test this style, do you have any preferences?

@ecdsa
Copy link
Member

ecdsa commented Nov 12, 2025

I wanted a visual hint that the content of the drop-down is not the same in every tab.
I think I prefer the way it is in this PR, although it is not perfect.

@ecdsa
Copy link
Member

ecdsa commented Nov 12, 2025

Note: ideally, I want the toolbar to be configurable: It would be possible to drag an icon from the drop-down to the toolbar, and it would add a direct button to the toolbar.

@ecdsa ecdsa closed this Nov 27, 2025
@f321x f321x deleted the followup_10277 branch November 27, 2025 09:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants