Revision ca9dd11...
Go back to digest for 16th September 2012Optimization in KDE Base
Kurt Hindenburg committed changes in [konsole] /:
Allow option to trim spaces at end of line
In the ongoing issue with spaces at the end of lines, this allows for
an option to trim the spaces. By default, it is disabled so only
people who need this will be affected.
Many thanks to David Smid
File Changes
Modified 12 files
- src/EditProfileDialog.cpp
- src/EditProfileDialog.h
- src/EditProfileDialog.ui
- src/Profile.cpp
- src/Profile.h
- src/Screen.cpp
- src/Screen.h
- src/ScreenWindow.cpp
- src/ScreenWindow.h
- src/TerminalDisplay.cpp
- src/TerminalDisplay.h
- src/ViewManager.cpp
12 files changed in total