Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jdt-dev] Re: jdt-dev digest, Vol 1 #47 - 2 msgs

You can modify the hover value by selecting a row and then clicking into
the field of the "Hover" column.

Dani


|---------+--------------------------->
|         |           AndrewS         |
|         |           <aws6000@yahoo.c|
|         |           om>             |
|         |           Sent by:        |
|         |           jdt-dev-admin@ec|
|         |           lipse.org       |
|         |                           |
|         |                           |
|         |           09.12.2002 15:09|
|         |           Please respond  |
|         |           to jdt-dev      |
|---------+--------------------------->
  >----------------------------------------------------------------------------------------------------------------------|
  |                                                                                                                      |
  |        To:      jdt-dev@xxxxxxxxxxx                                                                                  |
  |        cc:                                                                                                           |
  |        Subject: [jdt-dev] Re: jdt-dev digest, Vol 1 #47 - 2 msgs                                                     |
  >----------------------------------------------------------------------------------------------------------------------|



> > In the last few nightly builds, I've noticed that the toolbar button to
> disable
> > the javadoc 'hover text' has been removed.  Will this button make a
return
> in
> > future builds?
>
>
> Preferences > java > editor > hovers
> is where that setting lives now
>
> a.

The settings on this tab do not allow to disable hovers all together, nor
can
these settings be changed.  Am I missing something?

__________________________________________________
Do you Yahoo!?
Yahoo! Mail Plus - Powerful. Affordable. Sign up now.
http://mailplus.yahoo.com
_______________________________________________
jdt-dev mailing list
jdt-dev@xxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/jdt-dev





Back to the top