Zulip Chat Archive

Stream: new members

Topic: filtering tactic state


Kenny Lau (Jan 11 2019 at 23:57):

once in a blue moon I managed to accidentally discover a “filter” drop down menu in the tactic state which allowed me to remove the _ variables or just show the goal, and I have no idea how to see this drop down menu again

Kenny Lau (Jan 11 2019 at 23:57):

is this a secret feature?

Bryan Gin-ge Chen (Jan 12 2019 at 00:11):

The dropdown will only appear if (1) you're in "Display Goal" mode (2) your cursor is inside a tactic mode block so that there's something to filter (3) you haven't replaced the array of filters in your extension settings with an empty array.


Last updated: Dec 20 2023 at 11:08 UTC