Skip to content
This repository has been archived by the owner. It is now read-only.

PaperUI: Allow negative integer input for parameters with default pattern #4120

merged 1 commit into from Aug 24, 2017


Copy link

@htreu htreu commented Aug 24, 2017

Signed-off-by: Henning Treu

Signed-off-by: Henning Treu <>
Copy link

@kaikreuzer kaikreuzer left a comment

Looks like a valuable addition ;-)

@kaikreuzer kaikreuzer merged commit 80cc611 into eclipse-archived:master Aug 24, 2017
1 of 2 checks passed
@kaikreuzer kaikreuzer added this to the 0.9.0 milestone Nov 30, 2017
@kaikreuzer kaikreuzer added the bug label Dec 15, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants