diff --git a/HACKING.md b/HACKING.md index 7766dbf62946f674e2ad6beb6de9bfeb7fede294..087cbddc4deda465a3345d7dabc66e58261507a3 100644 --- a/HACKING.md +++ b/HACKING.md @@ -93,3 +93,11 @@ those preferences is not as straightforward. There is however a platform-independent UI tool called [JPUI](http://jpui.sourceforge.net/) that allows you to inspect and edit them easily. Last release is from 2004, but it still works ;) + +There's a setting for UI previews in a separate settings node +(`~/.java/.userPrefs/org/briarproject/briar/desktop/utils/prefs.xml` on Linux). +In order to scale UI previews up on high-density devices, run +`org.briarproject.briar.desktop.SetPreviewUtilsDensity` from the test sources +once with a custom UI scale value that works on your machine. +That will persist the UI scale in the settings node so that all previews are +scaled using that factor from then on. diff --git a/briar-desktop/src/main/kotlin/org/briarproject/briar/desktop/ui/BriarUi.kt b/briar-desktop/src/main/kotlin/org/briarproject/briar/desktop/ui/BriarUi.kt index 897ee60ff4de569ae81ebbfe7cc4bbbae3abc969..90fa3b407e4d2cd930ce18ec46b6647eb80cbc1e 100644 --- a/briar-desktop/src/main/kotlin/org/briarproject/briar/desktop/ui/BriarUi.kt +++ b/briar-desktop/src/main/kotlin/org/briarproject/briar/desktop/ui/BriarUi.kt @@ -222,7 +222,8 @@ constructor( LocalConfiguration provides configuration, LocalTextContextMenu provides BriarTextContextMenu, ) { - // invalidate whole application window in case the theme or language setting is changed + // invalidate whole application window in case the theme, language or UI scale + // setting is changed configuration.invalidateScreen.react { return@CompositionLocalProvider }