Files
bruno/packages
Bijin A B 3837a7612c Merge pull request #5778 from bijin-bruno/fix/environment-names-visibility
fix: make environment name width flexible up to 35% and disable tooltip for short names
2025-10-14 11:31:29 +05:30
..
2025-10-04 01:45:33 +05:30