Menu

#5 Change font of HTML view.

open
nobody
5
2001-08-22
2001-04-27
No

On ver0.8.1, User cannot change font of HTMLView.
So font selection in option dialog is grayed out.

Discussion

  • Gordon Wong

    Gordon Wong - 2001-05-16

    Logged In: YES
    user_id=203322

    I am going to take over this job, If you have any more info
    can save my time, Please.

    Gordon
    Bye now!

     
  • Hiroyuki Kurokawa

    Logged In: YES
    user_id=136668

    OK.
    Have fun with coding. Good luck!

    Implementation note:
    + Use CurrentProperties.getHTMLFont() to retrieve
    the current font setting for HTML view.
    + EditPane.htmlView manages HTML view on GUI.
    + EditPane.setProperties() is called when a user
    changes current settings.

    About setting fout to JEditorPane:
    + Calling JEditorPane.setFont() doesn't work
    Font was not changed.
    + and some other way. sorry, I forgot.
    + I've read an article how to change the font setting
    on JEditorPane.
    It said arrange StyledDocument that is
    held in JEditorPane.

     
  • Hiroyuki Kurokawa

    • labels: --> GUI Improvements
    • assigned_to: nobody --> gordonwong
     
  • Gordon Wong

    Gordon Wong - 2001-05-26

    Logged In: YES
    user_id=203322

    About: Html Viewer, Edit Viewer

    Problem: htmlViewer's font should not be changed unless you
    menuly adding additional html tages
    such as: <b></d> <em></em>.

    Example:
    <b>Hello</b> in Edit Viewer
    this will show up a Bold Hello in Html Viewer.

    Idea:
    We shouldn't change it. Idea for Html Viewer should be like
    what your code and what your see in html Viewer.

    Further:
    Waiting for reponse

    Done:
    I did change Font.PLAIN to Font.BOLD.

     
  • Hiroyuki Kurokawa

    Logged In: YES
    user_id=136668

    > Problem: htmlViewer's font should not be changed unless
    you
    > menuly adding additional html tages
    > such as: <b></d> <em></em>.

    You are right in a sense.
    But I still think this functionarity is useful and needed.
    You must use a web browser which can change a base font.
    You can choose the base font on IE and NN(Netscape
    Navigator). On those browser, <b>, <em>, <big> or <small>
    tagged text is displayed with the relative font of the
    selected base font.

    If user can chose a base font like those, it must be useful.

     
  • Hiroyuki Kurokawa

    • assigned_to: gordonwong --> nobody
     

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.