Convert these TODOs back into useful TODOs.
This commit is contained in:
parent
8e87abf40a
commit
bfedbad6a6
1 changed files with 8 additions and 19 deletions
27
todo.mdwn
27
todo.mdwn
|
@ -11,25 +11,14 @@ Random TODOs related to the Wiki and infrastructure:
|
||||||
* look into lstlisting to see if we can do code highlighting or otherwise
|
* look into lstlisting to see if we can do code highlighting or otherwise
|
||||||
better presentation of it in HTML.
|
better presentation of it in HTML.
|
||||||
* Brand mailman page with copyleft.org header, etc.
|
* Brand mailman page with copyleft.org header, etc.
|
||||||
---
|
|
||||||
Hopeless Issues:
|
|
||||||
|
|
||||||
* copyleft.org logo clipped by a few pixels on the right in Firefox, but goes away at certain magnifications, not present in Chromium. Seems related to svg. Getting rid of the svg and just always displaying bitmap fixes.
|
* SVG file needs additional pixels on edges to avoid
|
||||||
|
[clipping](https://bugzilla.mozilla.org/show_bug.cgi?id=1056949). The
|
||||||
|
banner on the front page is now a PNG, but we have an SVG of it, but
|
||||||
|
someone needs to bad the SVG file, as [[users/wolftune|wolftune]] argues
|
||||||
|
that this is the manner to address the issue.
|
||||||
|
|
||||||
* I think the above was merely a width/height setting issue, which appears fixed now. Can you confirm?
|
* Verify that the header and footer space on various pages look fine on small
|
||||||
|
screen devices, and if not, propose changes to the templates to make sure
|
||||||
|
it looks good.
|
||||||
|
|
||||||
* It isn't fixed. Seems Firefox has some long term problems with unwanted SVG [clipping](https://bugzilla.mozilla.org/show_bug.cgi?id=1056949). I will try to reproduce and file.
|
|
||||||
* I gave up and did this. I don't get why <svg> doesn't work. WTF?
|
|
||||||
It worked in every browser I tested.
|
|
||||||
* The answer is definitely to make the file have some small couple pixel margin around the logo in the svg file (or any other file). There's no real downside to that, as it might just look better that way anyway. There are minor zoom issues with clipping even for png files if they have no margin.
|
|
||||||
|
|
||||||
---
|
|
||||||
I think this is a WONT_FIX:
|
|
||||||
|
|
||||||
* fixed position/never scrolling header and footer wastes space, apparent on long page like <https://copyleft.org/recentchanges/>
|
|
||||||
|
|
||||||
* I'm going to ask Karen what she thinks about this. I don't really care,
|
|
||||||
and wonder if it's better that way for branding. I'll leave it as is
|
|
||||||
for now.
|
|
||||||
|
|
||||||
* Make sure you look on a small screen device.
|
|
||||||
|
|
Loading…
Reference in a new issue