Skip to content

P
ProofScriptParser
Open
Opened by alexander.weigl@weigl🐼0 of 3 tasks completed0/3 tasks
Report abuse New issue

Implement Filter for List of Goals

Implementation of the filter functionality of the ListView for current GoalNode. (see the current ListGoalViewMenu)

  • Input Dialog for Terms and Strings
  • reuse the KeyMatcherAPI
  • show hint beside the list, that a filter is activated.