Commits · 4b0de48a7d9565335a17164d06527bd15dbc87a8 · DP-Group 14 / IDE-Plugin · GitLab

Snippets Groups Projects

This server will be unavailable due to maintenance on March 19, 2025 between 20:00 and 22:00 (Central European Time). We are sorry for the inconvenience. During this period, neither Git nor the GitLab web interface will be available, so please make sure you plan accordingly.

Mar 16, 2021
- Dotview now uses parameters from the languageserver · 4b0de48a
  Smit, P.J.M. (Peter, Student M-CS) authored 4 years ago
  
  4b0de48a
Mar 15, 2021
- Added save and copy Dot buttons to dotview · 1a10c85d
  Smit, P.J.M. (Peter, Student M-CS) authored 4 years ago
  
  1a10c85d
Mar 12, 2021
- Added icon for reset poisition command and added zoom in and out buttons for dotview · 8101ecad
  Smit, P.J.M. (Peter, Student M-CS) authored 4 years ago
  
  8101ecad
- Dot viewer updates: · e10f4842
  Smit, P.J.M. (Peter, Student M-CS) authored 4 years ago
  
  - reset position button (still needs icon) - view dot in the same window - when dot is updated, it retains the position/zoom level
  e10f4842
Mar 11, 2021
- reworked the dot viewer to have separate js and css files. also fixed window resizing · 3dcc39a9
  Smit, P.J.M. (Peter, Student M-CS) authored 4 years ago
  
  3dcc39a9