view .hgsub @ 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 44f30dcd87e0
children
line wrap: on
line source

gnulib-hg = gnulib-hg