Skip to content

Clicking on line number erases parameters #1760

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Aug 30, 2017
Merged

Clicking on line number erases parameters #1760

merged 1 commit into from
Aug 30, 2017

Conversation

ahornace
Copy link
Contributor

fixes #1745

@tarzanek
Copy link
Contributor

lgtm, I'd like to hear from @tulinkry too, Krystof, can you also approve/merge ?

@tarzanek tarzanek added this to the 1.1 milestone Aug 29, 2017
@tarzanek tarzanek merged commit f2e843d into oracle:master Aug 30, 2017
@ahornace ahornace deleted the line-num-click-deletes-params branch August 30, 2017 15:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
1.1
Development

Successfully merging this pull request may close these issues.

clicking on line number erases parameters
3 participants
@ahornace @tarzanek @tulinkry