Monodevelop en (G)Ubuntu: escalado incorrecto en pantalla HiDPI

Question

Estoy intentando utilizar MonoDevelop en una Dell XPS 13 (pantalla de 13 pulgadas con resolución de 3200x1800).

Configuré la propiedad de escala de ventana en la herramienta de ajuste de gnome en "2" y la mayoría de las aplicaciones se comportan bien.

Sin embargo, Monodevelop escala terriblemente (ver imagen): el cuadro de compilación/estado en la parte superior central y la página de inicio tienen una fuente demasiado pequeña. Además, la mayoría de los cuadros de diálogo se abren de manera demasiado pequeña (configuración), al igual que algunas vistas (vista de propiedades).

¿Hay alguna forma/opción de solucionar este problema? Estoy usando GUbuntu 15.04

Answer 1

Intente escalar usando la opción 'Escalado': 100%/200% o escalado fractal en lugar de ajustes de Gnome por aplicación. Cuando la aplicación no funciona, no hay mucho que puedas hacer sin reescribir su código. Tengo mi segundo XPS13 (9310, anteriormente 9343) y me parece que poner una pantalla 4K en un factor de forma de 13'' es un fracaso. A veces, nada es tan útil como "degradar" temporalmente la resolución a FullHD; incluso puedes crear scripts xrandry adjuntarle atajos de teclado. También puede usar los mismos ajustes de gnome para escalar aplicaciones codificadas correctamente al revés cuando su resolución actual es baja en DPI como solución alternativa a MonoDevelop. También asegúrese de que su relación de aspecto sea la misma que la original. Como algunos XPS de 13' usan 16:10 y algunos usan una relación de 16:9.