From kdevelop-bugs Thu Nov 25 23:51:43 2004 From: kdevelop-bugs-admin () barney ! cs ! uni-potsdam ! de Date: Thu, 25 Nov 2004 23:51:43 +0000 To: kdevelop-bugs Subject: Re: [Bug 93901] the html pages in the documentation appear bigger than they should Message-Id: <200411252351.43877.mattr () kde ! org> X-MARC-Message: https://marc.info/?l=kdevelop-bugs&m=118306931805698 > KDevelop's browser doesn't use Konqueror's settings and never > intended to. This is in other words not a bug. CVS HEAD does however let > you set the font and fontsize, so this will be part of KDevelop-3.2 > IMHO, this is a bad idea. What are the chances of a patch that implements this getting accepted if i write it? I want to make sure i don't waste my time. Matt