GUI: allow setting full CSS style for term highlighting, not only color value

Jean-Francois Dockes Jean-Francois Dockes 2016-08-12

changed src/qtgui/guiutils.cpp
changed src/qtgui/guiutils.h
changed src/qtgui/preview_plaintorich.cpp
changed src/qtgui/reslist.cpp
changed src/qtgui/restable.cpp
changed src/qtgui/snippets_w.cpp
changed src/qtgui/uiprefs.ui
changed src/qtgui/uiprefs_w.cpp
src/qtgui/guiutils.cpp Diff Switch to side-by-side view
Loading...
src/qtgui/guiutils.h Diff Switch to side-by-side view
Loading...
src/qtgui/preview_plaintorich.cpp Diff Switch to side-by-side view
Loading...
src/qtgui/reslist.cpp Diff Switch to side-by-side view
Loading...
src/qtgui/restable.cpp Diff Switch to side-by-side view
Loading...
src/qtgui/snippets_w.cpp Diff Switch to side-by-side view
Loading...
src/qtgui/uiprefs.ui Diff Switch to side-by-side view
Loading...
src/qtgui/uiprefs_w.cpp Diff Switch to side-by-side view
Loading...