Kasper Nilsson 6cf8997bb1 Draw border in editor view instead of editor ...

This enforces a semi-consistent look between the plugin
(codemirror-editor) and the default editor.

Change-Id: Ib2fade61322382dd4668ac7f9f463a93c2297fb0

2018-01-30 17:25:01 -08:00

..

gr-default-editor

Draw border in editor view instead of editor

2018-01-30 17:25:01 -08:00

gr-edit-controls

Change font sizes from em to rem

2018-01-26 17:24:05 -08:00

gr-edit-file-controls

Shrink height of gr-edit-file-controls

2018-01-16 15:47:01 -08:00

gr-editor-view

Draw border in editor view instead of editor

2018-01-30 17:25:01 -08:00

gr-edit-constants.html

Refactor gr-edit-constants

2017-10-19 23:39:34 +00:00