improve usability of page-panel resize-handler

[Malte]

My observations from first time users is:

• Oh, the content of this topic is cut off from the right side of my screen!

My answer would be: But you can resize the page-panel.

Proposal: Make it clearer for first time user that they actually have full control over the page panel.

Idea 1: Make the resize area wider, from 7px to at least 14 better 20px. This is especially good for people with a fast-mouse setup (seems to be default under windows).

Idea 2: Highlight the resize-are when hovering it.

Idea 3: Provide two keyboard-shortcuts for resizing the webclient layout: One shortcut for splitting the screen in half and another shortcut for resetting the tiled-screen to 1/3 Page panel 2/3 Map Panel.

I would like to see all three ideas realized, the sooner the better.

[Malte]

An enhancement here would improve the experience of writing and reading with the page panel significantly.

[Jörg Richter <jri@…>]

In 655936a29be47c92cb78fc847d09294e51f8f4ea/deepamehta:

Webclient: improve resize-handle usability (#676).

The sensitive area of the page panel's resize-handle is increased from 2 pixel width to 7 pixel width.

Note: 7 pixel width is the jQuery UI default value, but since a long time DM (accidentally) reduced the effective width to 2 pixel. Now the original 7 pixel width is restored.

Thanks to Malte for reporting!

See #676.

[jri]

Idea 1 is considered "fixed" with the recent commit.
Idea 2 is considered "works for me" as the mouse changes shape when hovering the resize area.
Idea 3 is considered "wont fix" as it remains to be discussed. The 1/3 2/3 rule seems arbitrary to me. Possibly there are better solutions based on the space requirement of the actual detail panel content. This could be addressed in a separate ticket.

Thanks, Malte, for inspiring the fix!

[Jörg Richter <jri@…>]

In 7206ea26e5ad5ddfa96e3081b03a9c427cb6bbf3/deepamehta:

Mobile: improve page panel resize handling (#803).

The width of the resize-handle is increased from 7px to 16px to make it easier to grasp.

When tapped the resize-handle appears visually to provide a hint where to grasp it.

Still, resizing remains very frustrating. Most resize attempts fail.
The various mobile browsers seem to be governed by subtle and opaque rules.

See #803.
See #676.