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

Enabling the setting "dfw_hide_gutter": true, keep the gutter hidden after exiting the free distraction window mode #25

Closed
evandrocoan opened this issue Oct 28, 2017 · 1 comment

Comments

@evandrocoan
Copy link

evandrocoan commented Oct 28, 2017

Short and descriptive example bug report title

Enabling the setting "dfw_hide_gutter": true, keep the gutter hidden after exiting the free distraction window mode.

back2

Steps to reproduce

  1. Enable the Sublime Text gutter.
  2. Enable the setting "dfw_hide_gutter": true,
  3. Enter on free distraction mode super+f11
  4. Exit free distraction mode with super+f11
  5. You gutter still gone.

Environment

DistractionFreeWindow:
    release:        0.6.7

Sublime Text:
    channel:        dev
    version:        Build 3152 (portable)
    platform:       Windows
    architecture:   x64
    dpi_scale:      1.0
@evandrocoan evandrocoan changed the title On this new version, enabling the setting "dfw_hide_gutter": true, keep the gutting hidden after exiting the free distraction window mode On this new version, enabling the setting "dfw_hide_gutter": true, keep the gutter hidden after exiting the free distraction window mode Oct 28, 2017
evandrocoan added a commit to evandroforks/DistractionFreeWindow that referenced this issue Oct 28, 2017
On this new version, enabling the setting "dfw_hide_gutter": true, keep the gutter hidden after exiting the free distraction window mode
aziz#25
@evandrocoan evandrocoan changed the title On this new version, enabling the setting "dfw_hide_gutter": true, keep the gutter hidden after exiting the free distraction window mode Enabling the setting "dfw_hide_gutter": true, keep the gutter hidden after exiting the free distraction window mode Oct 28, 2017
@jrappen jrappen closed this as completed in 70b33db Nov 3, 2017
@jrappen jrappen self-assigned this Nov 3, 2017
@jrappen
Copy link
Collaborator

jrappen commented Nov 3, 2017

@evandrocoan Please re-open this issue, should problems persist.

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

2 participants