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

Set default editor size #703

Closed
areinmeyer opened this issue Aug 26, 2019 · 5 comments
Closed

Set default editor size #703

areinmeyer opened this issue Aug 26, 2019 · 5 comments
Labels
A-workspace Area: Overall UX, editor layout, tabs/groups/splits etc. enhancement New feature or request

Comments

@areinmeyer
Copy link

Loving the editor so far!

One thing I always do when I open oni2 is make the editor window larger. I don't see any documentation on configuring this in the preferences. Is this possible to set somewhere? If so, I'll gladly update the documentation.

If not, is this something on the roadmap? If it's a good first issue, I might be willing to give that a shot too, though I'm pretty new to Reason.

@CrossR CrossR added the enhancement New feature or request label Aug 26, 2019
@CrossR
Copy link
Member

CrossR commented Aug 26, 2019

Don't think this is anywhere on the roadmap, so thanks for raising!

Think this includes a few separate parts:

  • Config options for Oni2 : We need to add some options for the default editor size, which would be just a config option to set a width and height option here :

    WindowCreateOptions.create(
    ~maximized=false,
    ~icon=Some("logo.png"),
    (),
    ),
    . The complication may be there that I expect that is too early in the launch process for the configuration file to have been loaded.

  • Updating revery to have a way of saving / loading the last used editor size and other preferences (maximised, full screen, position etc), such that we can use that here as well. Related to this: Feature: Storage API revery-ui/revery#435.

The Oni2 side is probably a pretty small change, though we might need to have a little think about how the config will be loaded there. If we can avoid it, it would be better to launch with the correct size, rather than doing a resize later since that looks jarring to have that flash and rescale.

@glennsl glennsl added the A-ux Area: Overall user experience and aesthetics label Nov 18, 2019
@glennsl glennsl added A-workspace Area: Overall UX, editor layout, tabs/groups/splits etc. and removed A-ux Area: Overall user experience and aesthetics labels Feb 13, 2020
@opa-jan
Copy link

opa-jan commented Apr 14, 2020

The editor is fairly small by default. So first thing I do is maximizing the window. I need to do that with my mouse, as the standard windows keys (Alt-Space) do not seem to work :-(

@glennsl
Copy link
Member

glennsl commented May 22, 2020

Should this be considered fixed by #1703? I'm not sure a setting that would only be used the first time a workspace is opened is worth the added complexity.

@opa-jan
Copy link

opa-jan commented May 23, 2020

Yes. A lot of the pain is taken away by reopening the editor in the previous state.

@glennsl
Copy link
Member

glennsl commented Jun 11, 2020

Closing this as it seems to have been obsoleted by workspace persistence. If anyone disagrees and would still like this though, please chime in!

@glennsl glennsl closed this as completed Jun 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-workspace Area: Overall UX, editor layout, tabs/groups/splits etc. enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

4 participants