I'm suggesting them in addition to your's to be used in terminal, nothing else ;) I find <Ctrl>+<Shift>+* shortcuts easier for me as I don't have to take my hand off the keyboard. T. Mahmood Arena Mobile, Bangladesh