Under review

Search box everywhere

phgmacedo 6 months ago updated by Alexander Blach (Developer) 6 months ago 1

Since there are lots of possible syntax definitions, it would improve a lot to be able to filter the results with a search box. Another place is at the templates selection, as it is possible to have many templates. For encodings as well, but that’s not nearly as helpful as in syntax definition. 

Under review

Good point. That would be a nice improvement.