Commits · 3eb0cfd5d9cec39e3a55e7ee3a11490df459f40b · 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 05, 2021
- Constants are now saved per document. · 3eb0cfd5
  s1995588 authored 4 years ago
  
  3eb0cfd5
Mar 04, 2021
- Changed name in li (list item) from input to label. · 45aa6d04
  s1995588 authored 4 years ago
  
  45aa6d04
- 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