Revision ca9dd11...

Go back to digest for 16th September 2012

Optimization 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