Merge branch 'main' of https://gitlab.utwente.nl/dp-group-14/ide-plugin into main (df450da2) · Commits · DP-Group 14 / IDE-Plugin · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

I

IDE-Plugin
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

df450da2

Commit df450da2 authored 3 years ago by Sytze de Witte

Downloads
- Plain Diff

Merge branch 'main' of https://gitlab.utwente.nl/dp-group-14/ide-plugin into main

parents 170fc61b c186443b

No related branches found

No related tags found

No related merge requests found

Changes 7

Hide whitespace changes

Inline Side-by-side

Showing

media/dotview.css 41 additions, 14 deletions

media/dotview.css
media/dotview.js 88 additions, 33 deletions

media/dotview.js
media/main.css 2 additions, 1 deletion

media/main.css
src/dotViewer.ts 73 additions, 16 deletions

src/dotViewer.ts
src/extension.ts 15 additions, 12 deletions

src/extension.ts
src/sidebar.ts 5 additions, 7 deletions

src/sidebar.ts
src/utils.ts 1 addition, 1 deletion

src/utils.ts

with 225 additions and 84 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment