cmd.exe goodies

Googling to remember again the key that allows a command history window to be opened in cmd.exe (F7, in case you care), I found the misstitled Stupid Command Prompt Tricks post. Nice. Things that I did not know and that I'm going to use often:

• dropping a file/dir on a console writes its full path in it
• console settings (window/buffer size, fonts, quickedit...) are tied to the title, not to the shortcut that is used to launch them.
  cmd /c start "MyCmd" cmd /k ...
  will launch a command prompt that will use the settings associated to MyCmd. If there are none, just go to 'Properties' and create them