Eberhard Graether
3598fd357d
ui: Fixed status messages influence window resizing (issue #372 )
...
bug id = 372
2017-05-19 15:21:34 +02:00
wrongway88
97fd40fe9b
ui: bookmarks
...
can now bookmark tokens
2017-02-12 15:06:07 +01:00
Eberhard Graether
5845a98095
logic: polished status view
...
* click message in status bar to show status view
* renamed status tab to output
* renamed status column to message
* fixed list not properly updating when using filters
* scroll to first row after clearing
2016-12-12 11:08:07 +01:00
malte_langkabel
2ebfbbf88e
ui: display fatal errors
...
* added ErrorCountInfo to incorporate reporting of fatal errors during code analysis.
2016-03-02 10:53:04 +01:00
Andreas Stallinger
43409cd6b7
build: trial version target
...
builds now app and trail target, lib_gui added, istrail function
2015-12-08 17:55:12 +01:00
Eberhard Graether