diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-13 02:31:02 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-09-13 02:34:05 +0200 |
| commit | 9e5f1d664165ad218c7d6c2248db7b5dd69a750d (patch) | |
| tree | b3555988510971a5886b221f08fef3faca4c60e7 /platform/server | |
| parent | 24e1039eb6fe32115e8d1a62a84965e9be19a2ed (diff) | |
Add an "hover" style to items in the project manager
This makes the project manager feel more responsive to user input.
Diffstat (limited to 'platform/server')
0 files changed, 0 insertions, 0 deletions