Automatically add #show statements as symbol filters in the frontend

glaserL / viasp

A visualization tool for clingo

MIT License

3 stars 3 forks source link

Automatically add #show statements as symbol filters in the frontend #72

Open glaserL opened 2 years ago

glaserL commented 2 years ago

Right now, #show statements are simply ignored. It might be helpful if they would somehow be stored and passed to the frontend to have them as active filters from the beginning.