diff libinterp/corefcn/pr-output.h @ 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 ea0ecbe2eaf5
children 4197fc428c7d
line wrap: on
line diff