diff NEWS @ 20074:3538c2824dd8

GUI: Move preferences to edit menu (Bug #44725) * libgui/src/main-window.cc (main_window::construct_file_menu): remove preferences menu (main_window::construct_edit_menu): add preferences menu
author John Donoghue
date Tue, 07 Apr 2015 16:55:39 -0400
parents cf9b94a89620
children 1f9ed81bd173
line wrap: on
line diff