Ben Rohlfs 1865b12967 Merge "Fix inline editor"

2019-01-24 15:15:03 +00:00

..

admin

Merge branch 'stable-2.16'

2019-01-21 14:53:00 +09:00

change

Merge branch 'stable-2.16'

2019-01-24 09:18:43 +01:00

change-list

added margin bottom to the paragraph before the create change button

2019-01-02 11:00:58 -08:00

core

Merge branch 'stable-2.16'

2019-01-24 09:18:43 +01:00

diff

Do not syntax highlight for unknown languages

2019-01-22 18:18:25 +01: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

Skip theme loading if it was preloaded with a bundle

2018-10-03 15:48:41 -07:00

settings

Fix gr-edit-preferences to be able to save "Indent Unit"

2018-11-12 18:40:43 +00:00

shared

Fix inline editor

2019-01-24 14:51:28 +00: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