Sudhegde
- 活动总数 3
- 最后的活动
- 成员加入日期
- 关注 0 名用户
- 关注者数 0 名用户
- 投票数 1
- 订阅数 1
-
创建于 Changing gutter colour in new UI
已回答In the old UI, the gutter and editor were different colours and it was easy to differentiate between them. Is it possible to do the same in the new UI?