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

enhancement request: split editor panel #13

Closed
christophe-g opened this issue Jan 31, 2013 · 4 comments
Closed

enhancement request: split editor panel #13

christophe-g opened this issue Jan 31, 2013 · 4 comments
Labels

Comments

@christophe-g
Copy link
Contributor

Hi,

I would love to have the possibility to split the main editor panel into more (e.g to compare codes between modules, ...)

Is there any chance to see this in the future ?

Cheers and thanks
C.

@shabanovd
Copy link
Member

do you mean versioning?

On Thu, Jan 31, 2013 at 5:08 PM, christophe geiser <notifications@github.com

wrote:

Hi,

I would love to have the possibility to split the main editor panel into
more (e.g to compare codes between modules, ...)

Is there any chance to see this in the future ?

Cheers and thanks
C.


Reply to this email directly or view it on GitHubhttps://github.com/wolfgangmm/issues/13.

Dmitriy Shabanov

@christophe-g
Copy link
Contributor Author

Oh, versioning would be great as well (intregrated with eXgit ??).
Here I was just talking about ui enhancement: two panels in the editor, one with a set of tabs on the left, the other one on the right (similar to what you have in oXygen for instance).
Cheers,
C.

@joewiz
Copy link
Member

joewiz commented Feb 24, 2017

@wolfgangmm Do you agree we should close this as "won't fix"? This is a nice idea, but not sure it's worth the effort since you can achieve the same effect by opening two browser windows.

@joewiz joewiz added the wontfix label Mar 12, 2017
@joewiz
Copy link
Member

joewiz commented Mar 12, 2017

Closing as wontfix - a nice idea, and PRs certainly welcome, but clearly no desire on the part of the developers to make this happen, at least for now.

@joewiz joewiz closed this as completed Mar 12, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

3 participants