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 |
|