phpMyAdmin / Bugs / #3731 (ok 3.5.5) Font size in query editor is way too big!

#3731 (ok 3.5.5) Font size in query editor is way too big!

Milestone: 3.5.3

Status: fixed

Owner: Marc Delisle

Labels: Interface (555)

Priority: 1

Updated: 2013-06-11

Created: 2012-11-09

Creator: Anonymous

Private: No

The font size on the inline query editor (when syntax highlighting is on) is way too big. Only 3 lines of a query can fit in the box at once.

The problem is the .CodeMirror class, it sets the size to 140%. That property should just be removed entirely.

Discussion

J.M. Rütter - 2012-11-11

Can you show a screenshot? I can't reproduce the problem on QA_3_5 branch.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Marc Delisle - 2012-11-13

assigned_to: nobody --> lem9
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Marc Delisle - 2012-11-13

This bug was fixed in repository and will be part of a future release; thanks for reporting.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Marc Delisle - 2012-12-20

status: open-fixed --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Michal Čihař - 2013-06-11

Status: closed-fixed --> fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: