#50 Query input improvements

已合并
aidmar.wainakh 6 年之前 将 6 次代码提交从 stefan.schmidt/query_input合并至 SPIN/master

This adds the following features to the query mode:

  1. The ability to edit queries with the arrow keys
  2. Command history, with the last 1000 entires stored in a history file for persistence
  3. Completion of partially typed commands and suggestions by using the TAB-key
  4. A help command, listing available commands and providing examples and additional information by typing "help [KEYWORD];"
  5. A labels command, which lists all attacks list in the label file (if any)

Disclaimer: Some of the queries listed in the help require the fixes contained in my other pull requests to function.

This adds the following features to the query mode: 1. The ability to edit queries with the arrow keys 2. Command history, with the last 1000 entires stored in a history file for persistence 3. Completion of partially typed commands and suggestions by using the TAB-key 4. A help command, listing available commands and providing examples and additional information by typing "help [KEYWORD];" 5. A labels command, which lists all attacks list in the label file (if any) Disclaimer: Some of the queries listed in the help require the fixes contained in my other pull requests to function.
Stefan Schmidt 评论于 6 年之前
协作者

This pull request resolves issues #6, #4 and part of #15.

This pull request resolves issues #6, #4 and part of #15.
该合并请求已经成功合并!
登录 并参与到对话中。
未选择标签
Bug
未选择里程碑
未指派成员
1 名参与者
正在加载...
取消
保存
这个人很懒,什么都没留下。