v1.35.1

What's Changed

• workaround for safari rendering bug by @nightwing in #5573
• Hide disabled command from context menu by @mkslanc in #5580
• Remove hack in kitchen sink demo by @mkslanc in #5587
• Fix: wrong doc comment * insert behaviour by @mkslanc in #5571
• Support JSDoc comment optional values with negative exponents by @kungfooman in #5596
• fix: Fix typeerror in font metrics getZoom by @akoreman in #5600
• Port modern github light theme by @mkslanc in #5597
• fix: use dom builder for gutter tooltip and inline widget by @akoreman in #5601

New Contributors

• @kungfooman made their first contribution in #5596

Full Changelog: v1.35.0...v1.35.1