search

andreikop / enki

A text editor for programmers
http://enki-editor.org
GNU General Public License v2.0
161 stars 38 forks source link

View/Hide all widgets #60

Closed polovik closed 11 years ago

polovik commented 12 years ago

Adding menu item "View/Hide all widgets" should add useful functionality to Enki, This item should replace item "Hide all widgets". Default binding - F11.

andreikop commented 12 years ago

"View/Hide all widgets" should replace "Hide all widgets" ??? There are already menu item View/Hide all widgets

polovik commented 11 years ago

I've pull 122593f version and don't find any changes. Only item "Hide all widgets" and doesn't way to return to "Normal" mode, when showing Opened documents and File browser.

andreikop commented 11 years ago

Yes, I didn't understand the feature, and there are no changes. Which mode is "normal"? State, which was active, when user activated "minimalistic" mode?

On Mon, Oct 8, 2012 at 11:15 PM, polovik notifications@github.com wrote:

I've pull 122593f https://github.com/hlamer/enki/commit/122593f version and don't find any changes. Only item "Hide all widgets" and doesn't way to return to "Normal" mode, when showing Opened documents and File browser.

— Reply to this email directly or view it on GitHubhttps://github.com/hlamer/enki/issues/60#issuecomment-9238686.

polovik commented 11 years ago

Normal mode - state of GUI, when displaying only dock's "Opened documents" and "File browser". Minimalistic mode - displaying only Qscintilla's dock. Enhanced mode - displaying all dock's, including "Opened documents" and "File browser", "Search results", "MIT scheme" and other. I guess bind F11 to action of switching from Normal or Enhanced mode to Minimalistic and back.

andreikop commented 11 years ago

How to swtich Normal/Enhanced mode?

I think, that displaying all docks is bad idea. We would have much more docks in the future.

How about using F11 for switching to Minimalistic mode or restoring previous state?

polovik commented 11 years ago

Switching from Enhanced mode to Normal performed after press Esc key.

How about using F11 for switching to Minimalistic mode or restoring previous state? Yes, this is what I mean.

andreikop commented 11 years ago

Now on Shift+Esc Enki hides all widgets, if something is visible, or restores previous state (before Shift+Esc has been pressed) otherwise