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.

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

Layout slider for IDE #25

Closed
remo5000 opened this issue May 23, 2018 · 0 comments
Closed

Layout slider for IDE #25

remo5000 opened this issue May 23, 2018 · 0 comments
Labels
Enhancement New feature request proposal Tentative suggestion inviting discussion

Comments

@remo5000
Copy link
Contributor

Seems much cleaner and versatile than a button, but we'll have to see how challenging the implementation is
@remo5000 remo5000 added Enhancement New feature request proposal Tentative suggestion inviting discussion labels May 23, 2018
remo5000 referenced this issue May 24, 2018
@remo5000
Add persistent state for resizable editor width
560e735 
Note that handleEditorChange has been modified to
handleEditorValueChange, to be clearer when comapring to
handleEditorWidthChange.
remo5000 referenced this issue May 25, 2018
@remo5000
Merge branch 'layout-slider' into ide-ui
374c2b3 
Main conflict : usage of `pre` instead of `code`
@remo5000 remo5000 mentioned this issue May 25, 2018
Merged
@ning-y ning-y closed this as completed May 26, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Enhancement New feature request proposal Tentative suggestion inviting discussion
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@remo5000 @ning-y