Opened 6 years ago

Closed 6 years ago

Last modified 5 years ago

#181 closed enhancement (fixed)

command and environment completion should only show frequently used ones in the beginning

Reported by: stefan Owned by:
Priority: minor Milestone: 0.3
Component: editor Version:
Keywords: Cc:
Blocked By: Blocking:
Parent Tickets:


After pressing control+space the second time all commands / envelope should be considered.


Change History (1)

comment:1 Changed 6 years ago by stefan

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.