Michael Howell
3fa98a1507
rustdoc: add a handle that makes sidebar resizing more obvious
This change is based on some discussion on [lolbinarycat's idea],
but with a more "traditional" design. Specifically, this is the
closest thing I could find to a consensus across many systems I
looked at for inspiration:
- In Jira, resizable sidebars have a stack of four dots.
- In The GIMP, resizable sidebars have a stack of three dots.
- In [old Windows], "panes" are defined to have the same border
style as a window, which has a raised appearance.
- In [NeXT], a drag point usually had an innie, whether the line in a
slider or the circle in a scroller; I can also hide and show the
favorites bar in Workspace by dragging on a circular "grip spot"
- In [old Mac], drag handles for things usually had a "grip track"
of parallel lines.
- [OSX] kept that, but the "Source List" part of the Finder still had
the circle grip for a time the same way Workspace did
[lolbinarycat's idea]: https://github.com/rust-lang/rust/pull/139420
[old Windows]: https://archive.org/details/windowsinterface00micr/page/n9/mode/2up
[old Mac]: https://archive.org/details/apple-hig/1996_Human_Interface_Guidelines_for_Mac_OS_8_%28WWDC_Release%29/page/16/mode/2up
[NeXT]: https://archive.org/details/apple-hig/1993%20NeXTSTEP%20User%20Interface%20Guidelines%20-%20Release%203/page/145/mode/2up
[OSX]: https://dn721903.ca.archive.org/0/items/apple-hig/MacOSX_HIG_2005_09_08.pdf#page=267
2025-05-09 12:38:00 -07:00
..
2025-04-24 12:33:29 +02:00
2024-09-10 17:56:06 -07:00
2024-10-26 15:45:17 +02:00
2024-04-05 21:38:55 +02:00
2025-02-24 14:27:33 +01:00
2023-12-17 23:06:31 -07:00
2023-10-22 15:47:34 -07:00
2024-04-05 21:38:55 +02:00
2024-08-05 11:04:51 +02:00
2025-02-24 14:27:33 +01:00
2024-04-01 22:25:01 +02:00
2024-11-12 17:58:10 +01:00
2024-10-26 20:40:59 +02:00
2025-02-14 11:41:28 +01:00
2024-04-05 21:38:55 +02:00
2025-04-24 12:33:29 +02:00
2024-04-05 21:38:55 +02:00
2024-07-29 08:46:11 -07:00
2024-04-01 22:25:01 +02:00
2024-10-28 11:16:38 +01:00
2025-01-29 11:01:14 +01:00
2024-07-29 08:46:11 -07:00
2024-04-01 22:25:01 +02:00
2024-04-01 22:25:01 +02:00
2024-04-05 21:38:55 +02:00
2024-04-01 22:25:01 +02:00
2024-04-05 21:38:55 +02:00
2024-09-10 17:56:05 -07:00
2024-04-05 21:38:55 +02:00
2025-01-17 22:36:49 +01:00
2024-07-16 13:29:35 -07:00
2023-11-02 18:02:14 +01:00
2024-12-05 22:50:21 +01:00
2025-04-24 12:33:29 +02:00
2024-12-05 22:50:21 +01:00
2024-04-05 21:38:55 +02:00
2024-04-05 21:38:55 +02:00
2024-11-12 17:58:10 +01:00
2025-04-24 12:33:29 +02:00
2024-12-28 20:54:00 +01:00
2025-01-18 20:29:55 +01:00
2025-01-18 20:29:55 +01:00
2024-05-05 08:15:08 -07:00
2025-02-11 14:29:58 +01:00
2025-01-18 20:29:55 +01:00
2025-01-18 20:29:55 +01:00
2024-10-04 18:01:52 +02:00
2024-11-12 17:58:10 +01:00
2024-01-31 16:40:23 +01:00
2024-09-10 17:56:05 -07:00
2025-01-18 20:29:55 +01:00
2023-10-22 15:47:34 -07:00
2024-11-13 15:13:31 +01:00
2024-09-10 17:56:05 -07:00
2024-10-04 12:11:23 +02:00
2024-04-05 21:38:55 +02:00
2025-02-12 16:07:11 -07:00
2024-09-02 15:59:00 +02:00
2025-02-11 14:29:58 +01:00
2024-04-08 12:14:41 +02:00
2024-10-30 12:27:48 -07:00
2024-10-30 10:35:38 -07:00
2024-04-05 21:38:55 +02:00
2024-09-10 17:56:06 -07:00
2024-09-10 17:56:05 -07:00
2024-04-01 22:25:01 +02:00
2024-04-05 21:38:55 +02:00
2024-04-05 21:38:55 +02:00
2024-12-17 13:56:10 +11:00
2024-09-29 10:02:06 -07:00
2024-09-23 09:21:39 -07:00
2024-08-06 07:36:12 -07:00
2024-12-17 13:56:10 +11:00
2024-04-01 22:25:01 +02:00
2025-01-24 15:36:52 +01:00
2024-07-27 12:12:16 +02:00
2024-04-01 22:25:01 +02:00
2024-04-01 22:25:01 +02:00
2024-04-01 22:25:01 +02:00
2024-04-01 22:25:01 +02:00
2024-09-10 17:56:05 -07:00
2025-04-07 17:28:46 +02:00
2024-09-10 17:56:05 -07:00
2025-02-19 08:35:51 +08:00
2024-04-05 21:38:55 +02:00
2024-07-29 08:46:11 -07:00
2024-07-29 08:46:11 -07:00
2024-08-20 16:54:04 -07:00
2025-05-09 12:38:00 -07:00
2025-05-09 12:38:00 -07:00
2025-05-09 12:38:00 -07:00
2024-10-23 19:15:23 -04:00
2024-07-29 08:46:11 -07:00
2025-05-09 12:38:00 -07:00
2025-02-11 14:29:58 +01:00
2025-02-11 14:29:58 +01:00
2025-02-11 14:29:58 +01:00
2025-02-22 15:44:14 +01:00
2024-04-05 21:38:55 +02:00
2024-07-21 11:52:24 +02:00
2024-10-27 11:26:45 +01:00
2024-08-19 18:14:35 -07:00
2024-04-05 21:38:55 +02:00
2024-04-05 21:38:55 +02:00
2024-09-23 09:21:39 -07:00
2025-01-24 15:36:52 +01:00
2024-09-10 17:56:05 -07:00
2023-12-31 20:31:56 +01:00
2023-10-22 15:47:34 -07:00
2024-07-19 21:31:30 +02:00
2024-09-10 17:56:05 -07:00
2023-10-22 16:51:32 -07:00
2025-01-18 20:29:55 +01:00
2024-04-08 12:14:41 +02:00
2024-04-05 21:38:55 +02:00
2024-04-01 22:25:01 +02:00