view src/stdui/__init__.py @ 1162:b32800b9793e

primitivus: SIGINT is now ignored, APP_QUIT key/menu or :quit command must be used to quit Primitivus
author Goffi <goffi@goffi.org>
date Thu, 04 Sep 2014 19:05:57 +0200
parents b3076b5797f6
children
line wrap: on
line source