diff libinterp/corefcn/help.cc @ 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 64f178d8e1e0
children 3cad99b56fa7
line wrap: on
line diff