diff --git a/css/ui.css b/css/ui.css index 31cf8769..3b499b40 100644 --- a/css/ui.css +++ b/css/ui.css @@ -513,7 +513,7 @@ div.asset_block.asset_highlight { font-family: "Andale Mono", "Menlo", "Lucida Console", monospace; font-weight: bold; color: #c1c1b0; - background-color: #555; + background-color: #4a4a4a; border-radius: 8px; padding-left: 1em; } @@ -523,6 +523,7 @@ div.asset_block.asset_highlight { cursor: pointer; padding: 1px 4px; border-radius: 4px; + background: rgba(153, 204, 153, 0.15); } .asset_linenos:hover { text-decoration: underline; diff --git a/src/ide/views/asseteditor.ts b/src/ide/views/asseteditor.ts index 5516d165..23dbab3f 100644 --- a/src/ide/views/asseteditor.ts +++ b/src/ide/views/asseteditor.ts @@ -351,6 +351,7 @@ export class AssetEditorView implements ProjectView, pixed.EditorContext { .appendTo(this.ensureFileDiv(fileid)); var snip = $('
').appendTo(block); var linenos = $('').appendTo(snip); + $('').text('↗ ').appendTo(linenos); $('').text(frag.startline).appendTo(linenos); linenos.append('-'); $('').text(frag.endline).appendTo(linenos);