I am shocked

Stephen Kelvin wrote:

Did I miss that all the years or has it just sneaked into build 5201?

No, it sneaked into 5201 and was announced as "UI. Resizeable and moveable hints, JavaDoc
info in particular".

And yes, a larger and dedicated resize handle area would be great as this would also fix
the weird scrolling behavior during resize.

Sascha

Hello Sascha,

Stephen Kelvin wrote:

>> Did I miss that all the years or has it just sneaked into build 5201?
>>

No, it sneaked into 5201 and was announced as "UI. Resizeable and
moveable hints, JavaDoc info in particular".

And yes, a larger and dedicated resize handle area would be great as
this would also fix the weird scrolling behavior during resize.

Sascha

What do you mean under 'weird scrolling behavior during resize'? I was trying
to do smooth resize - without repainting every 'second' - but seems that
I failed ( ?

Thank you

-

Anna Kozlova
JetBrains Inc.
http://www.intellij.com
"Develop with pleasure!"

Hello Stephen,

You can resize Idea's javadoc popup window!
Did I miss that all the years or has it just sneaked into build 5201?
Now if it only would remember its size in between invocations

Do you really want to remember size between invocations for different javadocs?


>and have a bigger area on the lower right as a resize handle.

We'll try to do it more useable ...

Thank you.

-

Anna Kozlova
JetBrains Inc.
http://www.intellij.com
"Develop with pleasure!"

Anna,

maybe an option (in preferences) to remember the size would be appropriate. I am using a 23" screen, so I would keep it rather large all the time.

Under OS-X I noticed some artifacts:
- a lot of flickering during resize, it really looks like being redrawn too often
- most of the time vertical resizing does not react, just horizontal
- without the horizontal scrollbar (when the popup is wide enough), the resize corner disappears
- the cursor should be switched from "text" to "pointer" above hot spots (resize, scrolling)

Peter

Anna Kozlova wrote:

Do you really want to remember size between invocations for different
javadocs?

Yes. I am running on a 1900x1200 resolution and the default size looks,
well, let's call it cute to give it a positive twist.
I think you should leave the default size alone, else people with smaller
screens might have a problem.

Of course you've got to be clever about the size, because of clipping.
My proposal is to remember the user-preferred-popup-size whenever the popup
is resized. Then when it is shown, give it the same location (x/y) as it has
now and if it fits on screen use the user-desired-popup-size, else make width
and height smaller, so that the popup fits on the screen (but without adjusting
the user-preferred-popup-size).
Also if the popup has not enough information to show, you might want to make it
smaller (but still do not change the user-preferred-popup-size).

We'll try to do it more useable ...

Thanks. A small "riffled triangle" like on most other windows would be nice.

Hello Anna,

What do you mean under 'weird scrolling behavior during resize'? I was
trying to do smooth resize - without repainting every 'second' - but
seems that I failed ( ?

No, the resize itself is fine, it's just that if there are scrollbars in the
javadoc popup, the content is scrolled when resizing the popup if it's being
grabbed e.g. in the lower right corner. That's because having the mouse pressed
there also triggers the scrollbars. See the screenshot - I faked the resize
cursor because it doesn't seem possible to take screenshots that show the mouse
cursor :)

Sascha

Hello Sascha,

I see.

Thank you

-

Anna Kozlova
JetBrains Inc.
http://www.intellij.com
"Develop with pleasure!"

Hello Anna,

>> What do you mean under 'weird scrolling behavior during resize'? I
>> was trying to do smooth resize - without repainting every 'second' -
>> but seems that I failed ( ?
>>

No, the resize itself is fine, it's just that if there are scrollbars
in the javadoc popup, the content is scrolled when resizing the popup
if it's being grabbed e.g. in the lower right corner. That's because
having the mouse pressed there also triggers the scrollbars. See the
screenshot - I faked the resize cursor because it doesn't seem
possible to take screenshots that show the mouse cursor :)

Sascha

Hello Peter,

Unfortunately there are some OS-X specific problems :(
Thank you

-

Anna Kozlova
JetBrains Inc.
http://www.intellij.com
"Develop with pleasure!"

Anna,

maybe an option (in preferences) to remember the size would be
appropriate. I am using a 23" screen, so I would keep it rather large
all the time.

Under OS-X I noticed some artifacts:
- a lot of flickering during resize, it really looks like being
redrawn too often
- most of the time vertical resizing does not react, just horizontal
- without the horizontal scrollbar (when the popup is wide enough),
the resize corner disappears
- the cursor should be switched from "text" to "pointer" above hot
spots (resize, scrolling)
Peter

Hello Stephen,

I think we'll provide special setting for storing size(position) for resizable(movable)
popup. Of course popup sould fit to screen.
It would resolve the problem isn't it?
Thank you

-

Anna Kozlova
JetBrains Inc.
http://www.intellij.com
"Develop with pleasure!"

Anna Kozlova wrote:

>> Do you really want to remember size between invocations for different
>> javadocs?
>>

Yes. I am running on a 1900x1200 resolution and the default size
looks,
well, let's call it cute to give it a positive twist.
I think you should leave the default size alone, else people with
smaller
screens might have a problem.
Of course you've got to be clever about the size, because of clipping.
My proposal is to remember the user-preferred-popup-size whenever the
popup
is resized. Then when it is shown, give it the same location (x/y) as
it has
now and if it fits on screen use the user-desired-popup-size, else
make width
and height smaller, so that the popup fits on the screen (but without
adjusting
the user-preferred-popup-size).
Also if the popup has not enough information to show, you might want
to make it
smaller (but still do not change the user-preferred-popup-size).

>> We'll try to do it more useable ...
>>

Thanks. A small "riffled triangle" like on most other windows would be
nice.

Anna Kozlova wrote:

Hello Stephen,

I think we'll provide special setting for storing size(position) for
resizable(movable) popup. Of course popup sould fit to screen. It would
resolve the problem isn't it?

You mean an option in the settings specifying if the size should be stored?
That would be fine with me.

But what would really be the advantage of not storing the size?
I think too many options also impose a burden on the users.

Anna,

remembering the size/position is as good as making it configurable for me. Although I agree with Stephen that having too many options can be a drag.

When resizing the popup and clicking a link inside it, the popup resize to the original size (at least on OS-X) - this is really annoying and I consider it a bug.

Totally off track - I set a watch on this thread and never get an alert. My e-mail address is correct. Do I miss anything?

Thanks,
Peter

Peter Jacobsen wrote:

Totally off track - I set a watch on this thread and never get an alert. My e-mail address is correct. Do I miss anything?

Have you noticed that setting a watch does not automatically gives you e-mail notifications?
You have to look at your watches and select those for which you want notifications.
I don't know what this 'feature' is good for.

Do you really want to remember size between invocations for different
javadocs?

Yes please! I'm running 3200x1200 and would prefer the Javadoc window be
much, much bigger by default. I think I have been waiting years for this
feature, great to see that its time has finally come :)

Hello Stephen,
Personally I do not want to store the size ;)
I'd like to be able to make some popups larger (may be without scrolling)
if they contain a lot of information. Most of the time I'd like to have popups
fit to information size - and not too big.

Am I clear enough?

Thank you

-

Anna Kozlova
JetBrains Inc.
http://www.intellij.com
"Develop with pleasure!"

Anna Kozlova wrote:

>> Hello Stephen,
>>
>> I think we'll provide special setting for storing size(position) for
>> resizable(movable) popup. Of course popup sould fit to screen. It
>> would resolve the problem isn't it?
>>

You mean an option in the settings specifying if the size should be
stored? That would be fine with me.

But what would really be the advantage of not storing the size? I
think too many options also impose a burden on the users.

Anna Kozlova wrote:

Hello Stephen,
Personally I do not want to store the size ;) I'd like to be able to
make some popups larger (may be without scrolling) if they contain a lot
of information. Most of the time I'd like to have popups fit to
information size - and not too big.
Am I clear enough?

Yes, thanks for being so responsive.
As I said earlier: Even when the user-preferred size is stored: If there
isn't enough information to fill it, then it should be smaller, but the
larger user-preferred-size should still be remembered for the next time
the popup is invoked and will (maybe) show more information.

If you look at it in another way, you let the user specify the "maximum"
size of the dialog.

An option is perfectly fine with me...

Is it just me or is anybody else unable to use Page Down/Up to scroll the Quick Javadoc window in 5201? It moves the cursor in the editor instead and dismisses the Quick Javadoc window. I seem to recall that this worked previously.

Ciao,
Gordon

Hello Gordon,

Is it just me or is anybody else unable to use Page Down/Up to scroll
the Quick Javadoc window in 5201? It moves the cursor in the editor
instead and dismisses the Quick Javadoc window. I seem to recall that
this worked previously.

Ciao,
Gordon

Caused by focus absence. It was such a new 'feature' ;(
Of course it would be fixed.

Thank you.

-

Anna Kozlova
JetBrains Inc.
http://www.intellij.com
"Develop with pleasure!"

I look forward to the next build! :)

Thanks,
Gordon

Actually, the scrolling happens for me when:
- the popup has scroll bars
- the scroll bar is not at the very top
- the popup is resized vertically, by gabbing anywhere (not just in the
corner).

You can clearly see the scroll handle go down as you resize. Resizing the
window taller/shorter a few times will scroll all the way down :)

Vince.