diff options
| author | Jin Liu <[email protected]> | 2022-05-26 08:31:12 +0000 |
|---|---|---|
| committer | Felix Ernst <[email protected]> | 2022-05-26 08:31:12 +0000 |
| commit | ca0d0bb322925e2119f13f76d8e9643d24cbf3e0 (patch) | |
| tree | 038c9c47458967b04abd7af4f6db2da428ce73a3 /src/settings/dolphin_detailsmodesettings.upd | |
| parent | ff0a4938a5076f2cf84503f65747cfbdb0656c0e (diff) | |
Change wording "Leading Column Padding" to "Side Padding"
Since it actually adds padding on both left and right sides,
"Side Padding" might be more accurate.
This change is also propagated to variable and method names.
BUG: 453172
Diffstat (limited to 'src/settings/dolphin_detailsmodesettings.upd')
| -rw-r--r-- | src/settings/dolphin_detailsmodesettings.upd | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/settings/dolphin_detailsmodesettings.upd b/src/settings/dolphin_detailsmodesettings.upd new file mode 100644 index 000000000..091fee52c --- /dev/null +++ b/src/settings/dolphin_detailsmodesettings.upd @@ -0,0 +1,8 @@ +#Configuration update for Dolphin +Version=5 + +#Rename LeadingPadding to SidePadding +Id=rename-leading-padding +File=dolphinrc +Group=DetailsMode +Key=LeadingPadding,SidePadding
\ No newline at end of file |