workbenchdev / Biblioteca

Documentation viewer for GNOME
GNU General Public License v3.0
51 stars 8 forks source link

Add zoom buttons to primary menu #86

Closed AkshayWarrier closed 6 months ago

AkshayWarrier commented 6 months ago

Closes #35

AkshayWarrier commented 6 months ago

I thought of this but I'm not exactly sure what we're trying to save here? Each page can have different zoom levels, and you can arbitrarily close and open pages, so I don't know what we want to save here? Even Text Editor doesn't save any zoom levels, when you reopen it, it opens in the default zoom level.

sonnyp commented 6 months ago

Fair, let's see

Each page can have different zoom levels, and you can arbitrarily close and open pages, so I don't know what we want to save here?

Not currently, the zoom is global.