GitHub #148: Select a patch after creating its GUI