diff -r 7c2a5e79a654 -r 73a8032ea95b src/Pure/System/gui_setup.scala