Merge lp:~artem-anufrij/scratch/Bugfix-1193676 into lp:~elementary-apps/scratch/scratch
Proposed by
Artem Anufrij
Status: | Merged | ||||
---|---|---|---|---|---|
Approved by: | Robert Roth | ||||
Approved revision: | 1416 | ||||
Merged at revision: | 1400 | ||||
Proposed branch: | lp:~artem-anufrij/scratch/Bugfix-1193676 | ||||
Merge into: | lp:~elementary-apps/scratch/scratch | ||||
Diff against target: |
330 lines (+142/-25) 4 files modified
src/MainWindow.vala (+78/-2) src/Scratch.vala (+2/-0) src/Widgets/SourceView.vala (+57/-22) src/Widgets/ToolBar.vala (+5/-1) |
||||
To merge this branch: | bzr merge lp:~artem-anufrij/scratch/Bugfix-1193676 | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Artem Anufrij (community) | Approve | ||
Robert Roth (community) | code style | Approve | |
Danielle Foré | ux | Approve | |
Corentin Noël | code | Approve | |
elementary Apps team | code | Pending | |
Review via email: mp+239765@code.launchpad.net |
Commit message
Zooming (ctrl + scroll, or ctrl +/-) implemented.
Description of the change
Zooming (ctrl + scroll, or ctrl +/-)
To post a comment you must log in.
There's no easy way to get back to the default zoom level. I would suggest a tool item with the icon "zoom-original" be added to the right side of the header bar whenever the zoom level is not the default.
If I open preferences, turn off "custom font" and then try to zoom, Scratch will freeze.