| commit | 4ebbefe677f47a8e4f624737338f22e714a7e5bc | [log] [tgz] |
|---|---|---|
| author | Martin v. Löwis <martin@v.loewis.de> | Wed Nov 22 08:50:02 2006 +0000 |
| committer | Martin v. Löwis <martin@v.loewis.de> | Wed Nov 22 08:50:02 2006 +0000 |
| tree | 97c83b07d392f2c0272c287f27abea3f98dd798d | |
| parent | 2607e6c02195538db13b8c3d5d8c7d6b820df71a [diff] |
Patch #1362975: Rework CodeContext indentation algorithm to avoid hard-coding pixel widths. Also make the text's scrollbar a child of the text frame, not the top widget.