Eberhard Graether b40e49b633 ui: Display scope name at bottom of snippet if available ...

* Show scope name at bottom looking like top one
* Refactored CodeSnippetParams out of CodeView and use them everywhere
* Fixed border radius clipping problem at bottom of file by defining a small padding
* Scroll to line number when inserting a scope

2016-02-03 13:54:46 +01:00

..

images

ui: file not up to date display

2015-11-03 10:29:29 +01:00

code_view.css

ui: Display scope name at bottom of snippet if available

2016-02-03 13:54:46 +01:00