src/settings/dolphin_detailsmodesettings.upd


1
2
3
4
5
6
7
8

#Configuration update for Dolphin
Version=5

#Rename LeadingPadding to SidePadding
Id=rename-leading-padding
File=dolphinrc
Group=DetailsMode
Key=LeadingPadding,SidePadding