Ian McInerney 04ff2254a0 Ensure the clipboard contents are stored properly on GTK ... GTK needs to be told the data on the clipboard can be stored before the store is attempted. Also, document that the clipboard behavior on GTK is very dependent on the configuration of the user's machine. Closes #10515		2020-07-12 00:39:33 +01:00
..
wx	Ensure the clipboard contents are stored properly on GTK	2020-07-12 00:39:33 +01:00
check_syntax.sh