lupoDharkael
|
42619158fa
|
Update copyright year
|
2019-03-04 16:38:45 +01:00 |
|
Ahmed Zetao Yang
|
503de1be04
|
Pin Tool: Improve adjustment (#352)
Fix pin widget adjustment position
|
2018-09-21 13:55:16 +02:00 |
|
lupoDharkael
|
c5498ff385
|
Integrate Pin widget with user defined colors
|
2018-05-26 18:55:05 +02:00 |
|
lupoDharkael
|
2fd8bd209b
|
Pin Tool: fix content margins in Windows
|
2018-05-04 11:21:20 +02:00 |
|
lupoDharkael
|
c68179f64c
|
Pin tool cleanup
|
2018-05-03 18:53:13 +02:00 |
|
Ahmed Zetao Yang
|
fe8a43a02a
|
Improvement of Pin tool (#191)
- no taskbar window for pin widget
- completely ignore the window manager
- add borderless window shadow effects
|
2018-05-03 18:11:06 +02:00 |
|
lupoDharkael
|
205cd7c87b
|
Add basic code for the Pin tool
|
2018-04-17 00:06:57 +02:00 |
|