Scale up GUI for xilinx vivado in ubuntu

Add this to your .bashrc

export GDK_SCALE=2 GDK_DPI_SCALE=0.5
export _JAVA_OPTIONS="-Dsun.java2d.uiScale=2.5"