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

ConEmu settings #3392

Closed
asherber opened this issue Oct 28, 2016 · 11 comments
Closed

ConEmu settings #3392

asherber opened this issue Oct 28, 2016 · 11 comments

Comments

@asherber
Copy link
Contributor

Using 2.49RC2

Is it possible to change somewhere the settings that the embedded ConEmu uses? I'd like to be able to change the font size to something smaller. Looking at other threads, it appears that this is not yet possible but may come in a later release; I'd just like to confirm that.

Thanks.

@OmicronPersei
Copy link

OmicronPersei commented Nov 4, 2016

A small set of settings already appears to exist (essentially). After launching the ConEmu, right click on the icon on the title bar, and click "Properties". The settings set there are saved as default. Did you wish for more than this?

(Tested on a Windows 10 machine).

@asherber
Copy link
Contributor Author

asherber commented Nov 4, 2016

It sounds like you are launching the Git bash console, which opens by default in a Cmd window, and changing settings there. I'm talking about the embedded console tab in GitEx Browse:

image

@OmicronPersei
Copy link

How exactly do you display the console there? I can't find it anywhere.

On Thu, Nov 3, 2016 at 8:26 PM, asherber notifications@github.com wrote:

It sounds like you are launching the Git bash console, which opens by
default in a Cmd window, and changing settings there. I'm talking about the
embedded console tab in GitEx Browse:

[image: image]
https://cloud.githubusercontent.com/assets/5248041/19991482/0a80abe2-a20c-11e6-969f-4553a164f478.png


You are receiving this because you commented.
Reply to this email directly, view it on GitHub
#3392 (comment),
or mute the thread
https://github.com/notifications/unsubscribe-auth/AFVIK3QZVtzlLUqqA49DYJMUgOtm3s8rks5q6om1gaJpZM4Ki-Sf
.

@asherber
Copy link
Contributor Author

asherber commented Nov 4, 2016

Which version are you running? It's in the latest release candidates, as specified in my original post.

@OmicronPersei
Copy link

Apologies, I was looking at last installer (2.48.05).

Did you have anything in mind outside of just font? Could start by using the FontDialog class.

pmiossec added a commit to pmiossec/gitextensions that referenced this issue Nov 6, 2016
pmiossec added a commit to pmiossec/gitextensions that referenced this issue Nov 6, 2016
pmiossec added a commit to pmiossec/gitextensions that referenced this issue Nov 15, 2016
pmiossec added a commit to pmiossec/gitextensions that referenced this issue Nov 26, 2016
@pmiossec
Copy link
Member

pmiossec commented Dec 3, 2016

Could you test or code review #3403 that is done to fix this issue and add some other settings.
That way it could be merged quicker...

@asherber
Copy link
Contributor Author

asherber commented Dec 3, 2016

Thanks, I'll take a look.

@asherber
Copy link
Contributor Author

asherber commented Dec 3, 2016

I played around with it, and it seemed to work fine.

One small item: When I first opened the Details preference page, the font size field was not populated. It would be nice if it picked up the current font size, so that if I want to make it a little smaller or a little larger, I know where I'm starting from.

@asherber
Copy link
Contributor Author

asherber commented Dec 3, 2016

Is there a way to clear out the saved settings, so that I can try it again from scratch? I think when I started it the first time, the 'console style' said Default, but it was actually still using Solarized Light. I'd like to see if this is true, or if I'm misremembering.

pmiossec added a commit to pmiossec/gitextensions that referenced this issue Dec 6, 2016
@pmiossec
Copy link
Member

pmiossec commented Dec 7, 2016

One small item: When I first opened the Details preference page, the font size field was not populated.

I have fixed that by setting the current v2.49 as the default values...

Is there a way to clear out the saved settings

Settings are stored here for :

  • "Global for all repositories" in %userprofile%\AppData\Roaming\GitExtensions\GitExtensions\GitExtensions.settings
  • "Distributed with current repository" in GitExtensions.settings in the repository
  • "Local for current repository" in .git\GitExtensions.settings

@pmiossec
Copy link
Member

pmiossec commented Dec 7, 2016

For other comments about the PR, I think that's better to do it in the PR comment thread #3403 ....

pmiossec added a commit to pmiossec/gitextensions that referenced this issue Dec 18, 2016
pmiossec added a commit to pmiossec/gitextensions that referenced this issue Mar 11, 2017
pmiossec added a commit to pmiossec/gitextensions that referenced this issue Mar 19, 2017
pmiossec added a commit to pmiossec/gitextensions that referenced this issue Mar 19, 2017
pmiossec added a commit to pmiossec/gitextensions that referenced this issue Apr 10, 2017
jbialobr pushed a commit that referenced this issue Apr 11, 2017
@jbialobr jbialobr added this to the 2.50 milestone Apr 11, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

5 participants