comparison CITATION @ 19527:cd2a75e5cd6e gui-release

use indentation width for the editor from the settings (bug #43592) * file-editor-tab.cc (notice-settings): Read the indentation width from the settings file
author Torsten <ttl@justmail.de>
date Thu, 13 Nov 2014 07:02:33 +0100
parents a6d13c62fccf
children f5d9e57d4380
comparison
equal deleted inserted replaced
19520:91cd85a75705 19527:cd2a75e5cd6e