GitLab

- 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

- re enable horizontal scrolling (ctrl + mouse wheel) which was broken since 1202
- avoid negative advancement values in parser splitted

add possibility to enter values greater than max_trace in interval selection, and removes a bug with variables and split files for containers' size computation

Feature : add an Interval Selection Window, allowing to select a displayable interval on the trace. (Preferences/Interval Selection)

Combined with IntervalOfContainers and Serialization, this allows to change the displayed interval and load only the data of the wanted interval, while freeing memory for non displayed zones.