diff options
Diffstat (limited to 'pkgs/ghidra/ui-scale.patch')
| -rw-r--r-- | pkgs/ghidra/ui-scale.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/pkgs/ghidra/ui-scale.patch b/pkgs/ghidra/ui-scale.patch new file mode 100644 index 0000000..6ebac8d --- /dev/null +++ b/pkgs/ghidra/ui-scale.patch @@ -0,0 +1,11 @@ +--- a/Ghidra/RuntimeScripts/Common/support/launch.properties ++++ b/Ghidra/RuntimeScripts/Common/support/launch.properties +@@ -20,7 +20,7 @@ + VMARGS=-Dsun.java2d.opengl=false + VMARGS_LINUX=-Dsun.java2d.pmoffscreen=false + VMARGS_LINUX=-Dsun.java2d.xrender=true +-VMARGS_LINUX=-Dsun.java2d.uiScale=1 ++VMARGS_LINUX=-Dsun.java2d.uiScale=2 + VMARGS_LINUX=-Dawt.useSystemAAFontSettings=on + VMARGS_WINDOWS=-Dsun.java2d.d3d=false + |