Is there any way to change the height and spacing between menu buttons ? I want to add a logo in place of theia logo which is quite big to fit in that small region ?
@someshkoli thank you for the discussion and welcome to the community!
Is there any way to change the height and spacing between menu buttons
In a custom extension you would modify the menu using your custom css styling. The theia logo you referred to is only present on the source repository as an example, and it would not be included as part of your downstream application.
Yes, I need to add a different logo there, but i’m bit confused which properties to alter to set the size and spacing btw logo and buttons ?
@someshkoli the icon itself can be added with the following:
You’ll want to modify
.theia-icon styling, and see if there is anything else required for you to make it work.
You might want to use the browser’s inspect element functionality to make it work and see what might need to be changed for your use-case (perhaps
menu.css as well).