Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

P

PNML Petri Net Editor
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

71ed4662

Commit 71ed4662 authored 4 months ago by StarryScythe

Downloads
- Patches
- Plain Diff

removed grayed out options from ricght click menu; researched cause and ways...

removed grayed out options from ricght click menu; researched cause and ways to fix out of focus view for loaded diagrams

parent 0d8a1a89

No related branches found

No related tags found

Loading

Changes 8

Expand all Show whitespace changes

Inline Side-by-side

Showing

TaskAndTimeTimJahn.txt 22 additions, 1 deletion

TaskAndTimeTimJahn.txt
glsp-client/tasklist-theia/src/browser/diagram/copy-id-context-menu.ts 2 additions, 1 deletion

...asklist-theia/src/browser/diagram/copy-id-context-menu.ts
glsp-client/tasklist-theia/src/browser/diagram/edit-tokens-context-menu.ts 2 additions, 1 deletion

...ist-theia/src/browser/diagram/edit-tokens-context-menu.ts
glsp-client/tasklist-theia/src/browser/diagram/fire-transtition-context-menu.ts 2 additions, 1 deletion

...heia/src/browser/diagram/fire-transtition-context-menu.ts
glsp-client/tasklist-theia/src/browser/diagram/signal-clause-context-menu.ts 2 additions, 1 deletion

...t-theia/src/browser/diagram/signal-clause-context-menu.ts
glsp-client/workspace/sorting-wf-synced-safe-sensor-grpn-sig.pnml 0 additions, 1099 deletions

...ent/workspace/sorting-wf-synced-safe-sensor-grpn-sig.pnml
glsp-client/workspace/test1.pnml 1 addition, 1 deletion

glsp-client/workspace/test1.pnml
glsp-server/.settings/org.eclipse.jdt.core.prefs 9 additions, 9 deletions

glsp-server/.settings/org.eclipse.jdt.core.prefs

with 40 additions and 1114 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