Search: 
[] List [] Subjects [] Authors [  ] Bodies (must pick a list first)
Set Page Width: [ 80 ] [ 90 ] [ 100 ] [ 120 ]
Viewing messages in thread '[Bug 87527] Wish: make font size configurable in KDevelop's'
Viewing messages in list kde-bugs-dist 
  1. 2004-10-22 [Bug 87527] Wish: make font size configurable in KDev  kde-bugs- kaplun
  2. 2004-10-22 [Bug 87527] Wish: make font size configurable in KDev  kdevelop- kdevelop-bugs-admi
  3. 2004-10-22 [Bug 87527] Wish: make font size configurable in KDev  kdevelop- kdevelop-bugs-admi
  4. 2004-10-22 [Bug 87527] Wish: make font size configurable in KDev  kde-bugs- Alexander Dymo 
  5. 2004-10-21 [Bug 87527] Wish: make font size configurable in KDev  kdevelop- kdevelop-bugs-admi
  6. 2004-10-21 [Bug 87527] Wish: make font size configurable in KDev  kde-bugs- kaplun
  7. 2004-08-27 [Bug 87527] Wish: make font size configurable in KDev  kdevelop- kdevelop-bugs-admi
  8. 2004-08-27 [Bug 87527] Wish: make font size configurable in KDev  kde-bugs- jarl

Configure | About | News | Add a list | Sponsored by KoreLogic