view doc/texmf.cnf @ 19917:b403780efe90

make sure shortcuts are active in editor after settings dialog (bug #44397) * main-window.cc (notice_settings): configure main-window shortcuts depending on focus of terminal dock widget, make sure the active dock widgets title bar is correctly styled after settings dialog
author Torsten <ttl@justmail.de>
date Mon, 02 Mar 2015 08:47:16 +0100
parents f262a3e9e21e
children
line wrap: on
line source

% Increase save size to run @seealso macro for Octave documentation
save_size = 10000