Menu

#117 keyboard shortcut for previous command in GHCi

open
nobody
Bug (46)
5
2012-12-06
2010-07-24
Anonymous
No

in GHCi the keyboard shortcut for displaying the previous command is not working. this is usually Ctrl+P or Ctrl+Up

Discussion

MongoDB Logo MongoDB