diff libinterp/oct-conf.in.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 82c94987abc6
children da90756b00e8 4197fc428c7d
line wrap: on
line diff