This Report: edit|copy|delete formatting issues
Reported by: |
trac@… |
Owned by: |
daniel |
Priority:
|
highest
|
Milestone:
|
0.7.1
|
Component:
|
general
|
Version:
|
|
Severity:
|
normal
|
Keywords:
|
|
Cc:
|
|
Branch:
|
|
Release Notes:
|
|
API Changes:
|
|
Internal Changes:
|
|
- highlight incompletely
- if 'delete' is missing, the space is still to the right side of the line, and draws poorly
- left/right ones draw too wide
Change History
(7)
Owner: |
changed from Christopher Lenz to anonymous
|
Status: |
new → assigned
|
Resolution: |
→ fixed
|
Status: |
assigned → closed
|
Priority: |
low → highest
|
Resolution: |
fixed
|
Status: |
closed → reopened
|
Version: |
devel
|
Owner: |
changed from anonymous to daniel
|
Status: |
reopened → assigned
|
Resolution: |
→ fixed
|
Status: |
assigned → closed
|
oops, i should probably fix this too.