Есть ли способ выборочно изменить ширину панели активности в VSCode (v. 1.14)? У меня есть экран 1366 × 768, где учитывается каждый пиксель, поэтому я хотел бы сделать эту полосу узкой, а значки - меньше, по крайней мере на 50%. По сравнению с вертикальными элементами интерфейса ОС, например, панелью задач Windows 10 или панелью Plasma 5, она выглядит чудовищно и неуместно:
Я также пытался найти решение для инсайдерской версии VSCode, но кроме того, что я его скрывал, я еще не нашел ничего улокального.
У меня есть "window.zoomLevel": 0
установлен в settings.json
.