Menu

font size remember

Urs Mäder
2005-03-19
2012-12-07
  • Urs Mäder

    Urs Mäder - 2005-03-19

    should the change of the fontsize in a file changing in all open files?
    should the fontsize be remembered at the next start of devphp?
    please add your comments to this thread.
    tnx.

     
    • Sopel

      Sopel - 2005-03-19

      so what is it for if it can't be remembered?
      my point is default font size is simply too big for me. i like small font (courier 8) so when i change font size i want it to be like that for good and not to change it manually every time i open new file (what is very uncomfortable). i think user should have possibility of free view setting...

       
      • Urs Mäder

        Urs Mäder - 2005-03-20

        oh.. if you set the fontsize in the optionsdialog then the changing seems not working. But after a restart of dev-php this is the new fontsize.

        Do you want set the zoom size to all windows and remembered or only a preset size.

         
        • Sopel

          Sopel - 2005-03-20

          it is not new fontsize after a restart here. it returns to default one (10) even if i click on other window and come back to previous one. font size changing affects only one (currently active and visible) window merely as long as it's active.
          i think it would great to have possibility of setting new fontsize working for all windows, also after a restart.

           
          • Urs Mäder

            Urs Mäder - 2005-03-20

            in version 2.0.12 you should set the fontsize not in the fontdialog but in the optionsdialog there is a fontsize property. this property is saved and loaded after restart for the default size of the editor.
            i have fixed in my developerversion that setting the fontsize in the fontdialog will set the fontsize-property in the options-dialog.

             
            • Sopel

              Sopel - 2005-03-20

              many thanks for your help! i don't know how, but i didn't notice you can change font size in optionsdialog.

               
    • Pierre Fauconnier

      From Rev.238 (2.0.13.238) one can set different zoom factors (font sizes) on some different Editor-Tabs. These settings will be lost the next time Dev-PHP will be executed.

      Regards,
      Pierre.

       

Log in to post a comment.

MongoDB Logo MongoDB