Hello Hossein,
Thank you so much for this great development environment!
I have developed a little Extension to add persistent counter facilities to TinyDB based on this. Please see the following:
Thanks for Code Editor
yamafu
#1
Possibility to edit an existing extension?