search

eclipse-thingweb / playground

Browser or Node.js based tool for validating and playing with W3C Thing Descriptions
https://playground.thingweb.io/
Other
28 stars 22 forks source link

Improving the examples pop up #534

Closed egekorkan closed 8 months ago

egekorkan commented 8 months ago

Coming from https://github.com/eclipse-thingweb/playground/discussions/492#discussioncomment-7596827, there are some small fixes we can do to the examples:

  1. Reduce vertical padding (horizontal is more annoying since it is tied to the title)
  2. Add a downwards arrow for indicating the expansion
egekorkan commented 8 months ago

This is done via #540, closing