From 2e26f72390e18260c6fc3fedc5378a6ca9ddfffb Mon Sep 17 00:00:00 2001 From: paule Date: Sat, 13 Jan 2007 10:59:49 +0000 Subject: Actually read the doctab enable/disable setting. Partially fixes bug #1618. --- (limited to 'library/quickexec.cpp') -- cgit v0.9.0.2