#1090 Default font size should be configurable

fixed
nobody
5
2013-06-11
2008-05-15
No

Well it is, if you write $cfg['fontsize'] = ... to config, it works, but it is not documented and not included in defaults config file.

Discussion

  • Isaac Bennetch

    Isaac Bennetch - 2008-05-30

    Logged In: YES
    user_id=835650
    Originator: NO

    How does this work? I tried '200', '20', '20px', '200%' and so on with no change. I'll gladly write the docs and defaults if someone could give me an example of what does work :)

     
  • Marc Delisle

    Marc Delisle - 2008-06-26

    Logged In: YES
    user_id=210714
    Originator: NO

    Why should this be configurable in config.inc.php, compared to being able to change it from the main page? Think about multi-user installation of PMA...

     
  • Isaac Bennetch

    Isaac Bennetch - 2008-06-26

    Logged In: YES
    user_id=835650
    Originator: NO

    For me there's no need, I just saw the part about it not being documented or part of the config defaults and was going to document it. Then I couldn't get it to work and didn't want to give people bad information, so I was looking for clarification.

    No worries about this from my end; I was just trying to help keep the documentation current. But Michal's the one who opened this so perhaps he has something different to say :-)

     
  • Marc Delisle

    Marc Delisle - 2008-08-17
    • status: open --> pending
     
  • Marc Delisle

    Marc Delisle - 2008-08-17

    Logged In: YES
    user_id=210714
    Originator: NO

    I don't see the need either.

     
  • SourceForge Robot

    • status: pending --> closed
     
  • SourceForge Robot

    Logged In: YES
    user_id=1312539
    Originator: NO

    This Tracker item was closed automatically by the system. It was
    previously set to a Pending status, and the original submitter
    did not respond within 14 days (the time period specified by
    the administrator of this Tracker).

     
  • Michal Čihař

    Michal Čihař - 2013-06-11
    • Status: closed --> fixed