#50 Query input improvements

병합
aidmar.wainakh stefan.schmidt/query_input 에서 SPIN/master 로 6 commits 를 머지했습니다 6 년 전
Stefan Schmidt 코멘트됨, 6 년 전

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명
로딩중...
취소
저장
아직 콘텐츠가 없습니다.