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

Tweak toggle additional widgets docs #3821

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

ntrel
Copy link
Member

@ntrel ntrel commented Apr 6, 2024

Describe under the View menu, add links.
Remove note from notebook interface prefs section - add link to document tab tips instead.

Describe under the View menu, add links.
Remove note from notebook interface prefs section and add link to
document tab tips.
doc/geany.txt Outdated
Comment on lines 2071 to 2074
Double-clicking hides all additional widgets
Whether to call the View->Toggle All Additional Widgets command
when double-clicking on a notebook tab.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why removing this? The pref itself is not documented anywhere else, merely referenced "the prefs has to be on".

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That was a mistake, thanks - restored.

Toggle all additional widgets Hide and show all additional widgets like the
notebook tabs, the toolbar, the messages window
and the status bar.
Toggle all additional widgets See `here <#toggle-all-additional-widgets>`_.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
Toggle all additional widgets See `here <#toggle-all-additional-widgets>`_.
Toggle all additional widgets `Hide and show all additional widgets <#toggle-all-additional-widgets>`_.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think the link is enough. Otherwise use 'Show/Hide'.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants