- Python Home
- About
- News
- Documentation
- Downloads
- Community
- Foundation
- Developer's Guide
- Issue Tracker
- Issues
- Summaries
- User
- Administration
- Help
Message68865
This issue tracker has been migrated to GitHub,
and is currently read-only.
For more information,
see the GitHub FAQs in the Python's Developer Guide.
| Author | Rhamphoryncus |
|---|---|
| Recipients | Rhamphoryncus, benjamin.peterson, georg.brandl, rhettinger, tebeka, terry.reedy |
| Date | 2008-06-28.00:37:21 |
| SpamBayes Score | 0.005526691 |
| Marked as misclassified | No |
| Message-id | <1214613444.03.0.959538860751.issue3154@psf.upfronthosting.co.za> |
| In-reply-to |
| Content | |
|---|---|
I've checked it again, using the font preferences rather than the zoom setting, and I can reproduce the problem. Part of the problem stems from using pixels to set the margin, rather than ems (or whatever the text box is based on). However, although the margin (at least visually) scales up evenly, the fonts themselves do not. Arguably this is a defect in Firefox, or maybe even the HTML specs themselves. Additionally, that only seems to control the visual margin. I've yet to figure out what controls the layout (such as wrapping the Go button). |
|
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2008-06-28 00:37:24 | Rhamphoryncus | set | spambayes_score: 0.00552669 -> 0.005526691 recipients: + Rhamphoryncus, georg.brandl, rhettinger, terry.reedy, tebeka, benjamin.peterson |
| 2008-06-28 00:37:24 | Rhamphoryncus | set | spambayes_score: 0.00552669 -> 0.00552669 messageid: <1214613444.03.0.959538860751.issue3154@psf.upfronthosting.co.za> |
| 2008-06-28 00:37:23 | Rhamphoryncus | link | issue3154 messages |
| 2008-06-28 00:37:22 | Rhamphoryncus | create | |

