The text f9214d556efd, as Debian 7 (Wheezy) shipped it.
Session manager dialog for Padre
Padre::Wx::Dialog::SessionManager(3pm) on Linux now
