┌ ┐
54
└ ┘
[
home
|
about
|
favorites
|
git
]
index
:
dolphin
master
pixelated-scaling-option
Patched KDE Dolphin with Pixel Scaling
Conway
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
search
/
widgetmenu.h
Age
Commit message (
Expand
)
Author
2025-09-03
Fix several user-facing and non-user-facing typos
Kunda Ki
2025-04-07
Rewrite search integration
Felix Ernst
