search

alexandervdm / gummi

Simple LaTeX editor
https://gummi.app
MIT License
750 stars 95 forks source link

Toggleable right panel #138

Closed benjaminsaljooghi closed 3 years ago

benjaminsaljooghi commented 4 years ago

Provide the ability to toggle the visibility of the right panel so that users can just work with the editor alone (and use an external PDF viewer).

CuddlyCuddlefish commented 4 years ago

This already seems to be available under View > Right Pane. The keyboard shortcut is F8.

benjaminsaljooghi commented 4 years ago

I don't see this option in version 0.8.1?

alexandervdm commented 3 years ago

I mistakenly thought this feature was not useful to anyone, so I removed it during the transition to GTK3. It will be back in the upcoming 0.8.2 release.

alexandervdm commented 3 years ago

Feature was reinstated in bf88cbc8aaf6c9c37193c3f1d0c8190bc08d2e7d - building a release today.