Re: [Notion-general] HiDPI support

[Hochhaus, A. <aho...@sa...>]

On Sun, Sep 25, 2016 at 7:06 AM, Wojciech Aniszewski
<ani...@da...> wrote:
> To be sure, we're talking ONLY about the text in tabs and queries/menu?
> Seems all other text is content-specific, driven either by gtk, or terminals.

Correct. Thanks for the clarification.