Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

V7.5 #199

Merged
merged 61 commits into from
Aug 6, 2019
Merged

V7.5 #199

merged 61 commits into from
Aug 6, 2019

Conversation

verenich
Copy link
Contributor

@verenich verenich commented Aug 5, 2019

No description provided.

raboczi and others added 30 commits July 17, 2019 12:56
This makes sense so that zkcharts-osgi and Dashboard can be enabled at the same time.
openxes-2.16 and spex-1.0 are new available from ApromoreDev.
xeslite-0.0.1 is available from Maven Central.
…ocess/isPublicLog methods on process/log services.

Editing metadata now handles the "public" checkbox properly.
…andard node sizes.

- Add edge bend point editing
- Add undo/redo.
…elism() method (try Sepsis log, using group as event classifier - selector).
…ping before updating positions of nodes in a sequence.
iliyarYi and others added 22 commits July 31, 2019 14:19
…ctParallelism() method (try Sepsis log, using group as event classifier - selector)."

This reverts commit aca6245.
…anges to EventLogService security.

Now logs are created private.
Add fix horizontal alignment for DFG.
- Refine the top-bottom layout to be placed at the center and top based on the start event
- Always center graphs when fitlering by mouse
- Center/fit to window when using the Filter window
… viewport, not at the top.

- Refine font to place the gateway signs in the center of the shape.
@verenich verenich requested a review from raboczi August 5, 2019 12:56
…known that the gateway sign is not exactly in the center of the shape and there's still freezing problem when add bend-point for self-loops.
@raboczi
Copy link
Contributor

raboczi commented Aug 6, 2019

All my code is in, including the fix I passed to Bruce.

@raboczi raboczi closed this Aug 6, 2019
@raboczi raboczi reopened this Aug 6, 2019
@raboczi raboczi merged commit b9c1041 into master Aug 6, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants