Although these could each be a separate ticket, I'm piling them together into one.
- Lurch document content that's cut/copied to the clipboard goes on with a fixed font size. Zooming and then pasting pastes at the old font size. So instead store clipboard font sizes as a ratio of font size to document default font size, and convert back at pasting time, to keep the zooming illusion consistent.
- Tab stops when zooming are already their own ticket, #480.
- Just as zooming changes all font sizes in the document, it should also change all paragraph margins by the same ratio, to keep the zooming illusion consistent.
- When zooming, also change the document's margins by the same ratio, or numbered lists end up falling off the left side of the visible area. In {{{wordprocessor.cpp}}}, you do {{{document()->setDocumentMargin( 20 );}}} and that number needs to scale with zooming.
Items 2 and 4 were done in [r3596][1]. Items 1 and 3 remain undone.
[1]: http://sourceforge.net/apps/trac/lurch/changeset/3596 (Solves ticket
480: Changing tab stop sizes when zooming.
Solves item 4 of ...)
Related
Commit: <Commit _id='51af9db8e88f3d4df235ddd4:3596' tree_id=None committed=I{'date': datetime.datetime(2013, 3, 13, 16, 4, 44, 375000), 'email': '', 'name': 'nathancarter'} authored=I{'date': datetime.datetime(2013, 3, 13, 16, 4, 44, 375000), 'email': '', 'name': 'nathancarter'} message='Solves ticket #480: Changing tab stop sizes when zooming.\nSolves item 4 of ticket #483: Changing document margins when zooming.\n' parent_ids=I['51af9db8e88f3d4df235ddd4:3595'] child_ids=I['51af9db8e88f3d4df235ddd4:3597'] repo_ids=I[ObjectId('51af9db8e88f3d4df235ddd4')]>