css scale

[whytheplatypus]

Glad this extension exists!

here's a version that uses css transforms... not sure if it's better or worse... but it was a fun little project :)

[drewhamlett]

Hey man this is great. Thanks. I'm working on getting this in.

[drewhamlett]

Hi, if it's not to much trouble, can you look into the new version using CodeMirror.runMode and implement with that? Thanks!

[whytheplatypus]

oh good idea, i hadn't seen that. Yeah I'll check it out tomorrow and see what i can get running

[whytheplatypus]

There we go, I think that should work. It even made some of the scaling issues a little better.

[drewhamlett]

Hey man I like this concept but I think we need a fixed font size for the mini-map. If the length of the document changes(is really short) the font size is really big. Is it doing this for you?

[whytheplatypus]

Yeah it is. The options I can think of are: get rid of the scale and go back fixed font sizes, or have some desired width for the map and use a scaling ratio that shrinks it to that width if the document is short.