Thomas Shafer 5ec0d74eca Add tabs to files area ...

This allows plugin authors to dynamically add tabs in the same location as the
files list. When there are no dynamically added tabs, the tab header is not
present.

Change-Id: I89170dc84a76e11b430db04acabdaf98b6de4743

2019-03-05 08:42:36 -08:00

..

admin

Merge branch 'stable-2.16'

2019-02-22 11:40:50 +09:00

change

Add tabs to files area

2019-03-05 08:42:36 -08:00

change-list

Add ability for plugins to add columns to the change list

2019-02-27 14:25:59 -08:00

core

Report error event when the error dialog is shown.

2019-02-21 13:57:13 +00:00

diff

Merge branch 'stable-2.16'

2019-02-22 11:40:50 +09:00

documentation/gr-documentation-search

Add support for Documentation search

2018-11-12 19:00:57 +00:00

edit

Remove font-weight: bold

2018-08-20 11:13:55 -07:00

plugins

Fix that an endpoint cannot be used by two plugins anymore

2019-02-28 14:32:11 +01:00

settings

Merge branch 'stable-2.16'

2019-02-19 10:25:32 +09:00

shared

Add ability for plugins to add columns to the change list

2019-02-27 14:25:59 -08:00

test

Catch-all fix for merged linter errors

2017-05-17 17:17:25 -07:00

gr-app_test.html

Remove GWT UI

2018-11-13 15:06:26 -08:00

gr-app-it_test.html

Remove GWT UI

2018-11-13 15:06:26 -08:00

gr-app.html

Remove GWT UI

2018-11-13 15:06:26 -08:00

gr-app.js

Merge "Remove GWT UI"

2018-11-14 17:50:26 +00:00