Changes

Summary

1. Improve GTK layout functions to split correctly (details)
2. make disable popup option available to all frontends (details)

Commit fb56aa214c775995fa9ee7e06c6860997e4cb5b7 by Vincent Sanders Improve GTK layout functions to split correctly
	frontends/gtk/layout_pango.c (diff)
Commit 0079c74d55caaf731e702e830839a799aaa4ab67 by Vincent Sanders make disable popup option available to all frontends
	desktop/options.h (diff)
	frontends/riscos/configure/con_content.c (diff)
	frontends/riscos/options.h (diff)
	test/data/Choices-all (diff)
	frontends/monkey/options.h (diff)
	frontends/gtk/options.h (diff)