>>>>> "Philipp" == Philipp Hachtmann <hachti at hachti.de> writes: Philipp> ... Running dbit's E11 emulator under Linux. How to stop it? Philipp> <ALT>+<ENTER> doesn't seem to work... Control/P. paul