Dev tp (!64) · Merge requests · Algorithms Library Toolkit / webui-client · GitLab

Snippets Groups Projects

Merged Tomáš Pecka requested to merge dev-tp into master 2 years ago

May 25, 2022
- webui: restyle basic input boxes in drawer · a9626eb9
  Tomáš Pecka authored 2 years ago
  
  Unverified
  
  a9626eb9
- webui: docs popover now does not show the last divider · 663343c0
  Tomáš Pecka authored 2 years ago
  
  Unverified
  
  663343c0
- webui: limit max height and width of docs popover · e626cd98
  Tomáš Pecka authored 2 years ago
  
  Stuff like this can be very large when the type names are long and there is many overloads. So let's limit that.
  Unverified
  
  e626cd98
- webui: replace deprecated MouseEvent.which for MouseEvent.button · 6bffeeeb
  Tomáš Pecka authored 2 years ago
  
  Unverified
  
  6bffeeeb