From: Wojciech A. <ani...@da...> - 2016-09-25 23:46:21
|
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. Wojtek On Sat, Sep 24, 2016 at 04:40:42PM -0700, Hochhaus, Andy wrote: > Thanks for all the great feedback everyone. > > I was mainly looking for good automatic support when plugging (and > unplugging) several different monitors from a laptop (which are a mix of > HiDPI and regular DPI). > > I think I can find a setup that meets my needs though. > > Best, > -Andy > ------------------------------------------------------------------------------ > _______________________________________________ > Notion-general mailing list > Not...@li... > https://lists.sourceforge.net/lists/listinfo/notion-general -- Wojtek Aniszewski [Fr: vôitek anichévsky] [Eng: voyteck aanishevsky] Post-doctoral Resarcher, University Pierre et Marie Curie (Paris 06) Institut ∂'Alembert www: [in English:] http://www.coria.fr/spip.php?auteur1606 [in Polish:] http://nauka-polska.pl/dhtml/raporty/ludzieNauki?rtype=opis&objectId=240452&lang=pl /^..^\ ,-------------------------------------, ( (••) ) ►►►►| My public GPG key ID: AC66485E | (|)_._(|)~ | please use email encryption! | `-------------------------------------" |