encodings-dialog.ui find-dialog.ui keybinding-editor.ui profile-manager.ui profile-new-dialog.ui profile-preferences.ui skey-challenge.ui terminal.xml terminal.about