Some editor elements don't scale when increasing the font size

Open

#872 opened on Mar 26, 2019 1 comment 0 reactions 0 assignees View on GitHub

bug

Description

![image](https://user-images.githubusercontent.com/544744/54971333-59947d80-4f5c-11e9-9e57-144c6d8e436f.png)

The error icon is comically small.

![image](https://user-images.githubusercontent.com/544744/54971350-6f09a780-4f5c-11e9-8854-489244dd6fb3.png)

The autocomplete box is too small.

This issue has not been assessed yet.