Kile resolution

[Ryan Schmidt]

On Dec 8, 2015, at 4:13 PM, Eneko Gotzon wrote:
> 
> On Tue, Dec 8, 2015 at 9:59 PM, Sara Buson wrote:
>> a default option of opening in low resolution… but did not find a way to change it.
> 
> Lack of write permission? (Sharing & Permissions section, lower in the same info window).

No, that's just how apps that don't support high-dpi are displayed in the get info window.