Sergei Garin ed9651fc2b Fix button sizes (#10208) ... This PR fixes button sizes and fixes a nasty bug with popover		2024-06-07 11:05:05 +00:00
..
gui2	Implement new design for tooltips in GUI (#10172)	2024-06-07 01:48:11 +00:00
ide-desktop	Fix button sizes (#10208)	2024-06-07 11:05:05 +00:00