Revision 57994c1...

Go back to digest for 15th July 2012

Features in KDE Base

Kurt Hindenburg committed changes in [konsole] /:

Provide GUI to change line spacing

This provides a profile GUI to change the line spacing (0-5). Due to
the Qt4.8/BIDI issues, allowing the user to change the spacing allows
the user to fix any issues w/ the font they are using.


REVIEW: 105478
FIXED-IN: 4.10

Bug 279490: konsole should support configuring line spacing
 
339 days

File Changes

Modified 7 files
  •   src/EditProfileDialog.cpp
  •   src/EditProfileDialog.h
  •   src/EditProfileDialog.ui
  •   src/Profile.cpp
  •   src/Profile.h
  •   src/TerminalDisplay.h
  •   src/ViewManager.cpp
7 files changed in total