-
Augustin Degomme authored
- add option to switch the reload mode from "reload the file, parse it again, and display it with the new settings" to "just display again with the new settings", to make it quicker when using palettes - add shaded states, vertical line and reload type settings in the config file, in order to keep these settings between sessions -This line, and those below, will be ignored-- M trunk/src/interface/Interface_graphic.hpp M trunk/src/interface/main_window.ui M trunk/src/interface/Interval_select.cpp M trunk/src/interface/Node_select.cpp M trunk/src/interface/Settings_window.cpp M trunk/src/interface/Settings_window.hpp M trunk/src/interface/Interface_graphic.cpp M trunk/src/common/Session.cpp M trunk/src/common/Session.hpp M trunk/src/common/Info.cpp M trunk/src/core/Core.cpp
c91e276d