diff options
| author | Frank Reininghaus <[email protected]> | 2013-06-20 19:37:53 +0200 |
|---|---|---|
| committer | Frank Reininghaus <[email protected]> | 2013-06-20 19:37:53 +0200 |
| commit | e8c4d19b7c8d1881dae2a28b1ff7202683648ceb (patch) | |
| tree | d7a6a0eb75d639cee820c9895c5e1c05f65bd67c /src/views/renamedialog.h | |
| parent | 584574e07d17b6ec2b82882c8c9869f5e8597e4e (diff) | |
Allow renaming multiple files without number if extensions are different
Normally, we only allow renaming multiple files if the new file name
contains a contiguous sequence of '#' placeholders, which are then
replaced by numbers.
However, if all extensions are different, we can also rename the files
without such a placeholder because the original extension is preserved
when renaming.
This had been possible some time ago already. That this "accidental
feature" was lost was a side effect of the fix for bug 318942.
BUG: 321234
FIXED-IN: 4.10.5
REVIEW: 111079
Diffstat (limited to 'src/views/renamedialog.h')
| -rw-r--r-- | src/views/renamedialog.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/views/renamedialog.h b/src/views/renamedialog.h index 18dca3617..29ef8bdf1 100644 --- a/src/views/renamedialog.h +++ b/src/views/renamedialog.h @@ -64,6 +64,7 @@ private: QString m_newName; KLineEdit* m_lineEdit; KFileItemList m_items; + bool m_allExtensionsDifferent; KIntSpinBox* m_spinBox; }; |
