1. 2018-12-05 [haiku-bugs] Re: [Haiku] #13087: Global UI scaling - haiku-bug Haiku 2. 2018-12-04 [haiku-bugs] Re: [Haiku] #13087: Global UI scaling - haiku-bug Haiku 3. 2016-11-24 [haiku-bugs] Re: [Haiku] #13087: Global UI scaling - haiku-bug kallisti5 4. 2016-11-24 [haiku-bugs] [Haiku] #13087: Global UI scaling - HiDP haiku-bug kallisti5 5. 2016-11-24 [haiku-bugs] [Haiku] #13087: Global UI scaling - HiDP haiku-bug kallisti5 6. 2016-11-24 [haiku-bugs] [Haiku] #13087: Global UI scaling - HiDP haiku-bug kallisti5