Commits · f42fd98cbff085539a31ef44f05601c12d9dccde · 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 04, 2021
- Send the tool names to the webview even if the webview loads after the server is ready · f42fd98c
  Stekelenburg, A.V. (Alexander, Student ) authored 4 years ago
  
  f42fd98c
Mar 03, 2021
- Added a tool dropdown which is initialized by initializeTools. · 70accc23
  s1995588 authored 4 years ago
  
  Added a getParameters function to get parameters from LanguageServer.
  70accc23
Feb 12, 2021
- Improve the css formatting of the webview · 96ab5fa8
  Stekelenburg, A.V. (Alexander, Student ) authored 4 years ago
  
  96ab5fa8
- Working prototype for sidebar · baba4985
  Stekelenburg, A.V. (Alexander, Student ) authored 4 years ago
  
  baba4985
Feb 10, 2021
- Non-working sidebar · bbae189e
  Stekelenburg, A.V. (Alexander, Student ) authored 4 years ago
  
  bbae189e
Feb 09, 2021
- Added modest icons · 68f7e560
  Smit, P.J.M. (Peter, Student M-CS) authored 4 years ago and Smit, P.J.M. (Peter, Student M-CS) committed 4 years ago
  
  (cherry picked from commit 176ad806)
  68f7e560
- Added modest icons · 176ad806
  Smit, P.J.M. (Peter, Student M-CS) authored 4 years ago
  
  176ad806