Alternative for Tooltip

Đang mở

#7 mở ngày 13/10/2020 0 bình luận 0 reaction 0 người được giao Xem trên GitHub

enhancement

Ngôn ngữ chính: Java
Star: 1
Fork: 5
Chỉ số merge pull request: Không có pull request nào được merge trong 30 ngày

Mô tả

Currently, the assume/safety pair (so-called contract) of a skill is displayed in its (eclipse-based) tooltip (triggered by hovering):

![image](https://user-images.githubusercontent.com/263321/95856895-1165c780-0d5b-11eb-9211-ea6677ae5bcc.png)

The disadvantage is the short timespan that the tooltip is visible. Can we find a better way to illustrate these properties?

Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này

Issue này chưa được đánh giá.