Advertisement
wincmd
WInCMD is a GUI Command Processor Shell. It can support up to 10 virtual TTYs for you. You can use Alt+1,Alt+2,Alt+3,Alt+4 ...to switch different virtual TTY. It can works like a child with your edito...
Wincmd Directory Menu Customizer
A tool you can use only to customize the Directory Menu of Total Commander (formerly know as Windows Commander)...