| commit | df737e76013bdd5a06ab17d7c9b62772290c56b6 | [log] [tgz] |
|---|---|---|
| author | David Reveman <reveman@fuchsia.infra.roller.google.com> | Thu Feb 10 13:40:39 2022 +0000 |
| committer | Copybara-Service <copybara-worker@google.com> | Thu Feb 10 05:42:15 2022 -0800 |
| tree | c3746dadbba4da126deea354723f738f4bd05e0c | |
| parent | fce19e06f517cc50565d915b842aa17755c6579b [diff] |
[roll] Roll fuchsia [terminal] Improved scroll bar Switch to an overlay scroll bar that is hidden when not needed. This means that the scroll bar is no longer reducing the size of the terminal and it provides a more immersive experience for apps that use app-cursor mode. The scroll bar thumb is also using alpha so text below it is still visible. Thumb alpha is adjusted depending on the location of the mouse and if the thumb is grabbed for scrolling. This also makes the terminal handle mouse and touch input better in order to enable selections using the mouse in the future. Test: terminal_tests Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/644531 Original-Revision: d1c56c91ebc21b17ca5feca98749747add9ebe80 GitOrigin-RevId: 8b61922d4126f27ed2999ca2f2cc1825adcf4b60 Change-Id: I07c0afc98dcf64680c6aa3cf6c9258edcfdd3540
This repository contains Fuchsia's Global Integration manifest files.
All changes should be made to the internal version of this repository. Our infrastructure automatically updates this version when the internal one changes.
Currently all changes must be made by a Google employee. Non-Google employees wishing to make a change can ask for assistance via the IRC channel #fuchsia on Freenode.
First install Jiri.
Next run:
$ jiri init $ jiri import minimal https://fuchsia.googlesource.com/integration $ jiri update
Third party projects should have their own subdirectory in ./third_party.