Repo tree view: Replace [D] and [F] with Unicode chars
This commit is contained in:
parent
01163dfe9a
commit
7fdc7e703d
2 changed files with 4 additions and 4 deletions
|
@ -54,9 +54,9 @@ $case sv
|
||||||
<td>
|
<td>
|
||||||
$case type'
|
$case type'
|
||||||
$of TypeBlob
|
$of TypeBlob
|
||||||
[F]
|
🗎
|
||||||
$of TypeTree
|
$of TypeTree
|
||||||
[D]
|
🗀
|
||||||
<td>
|
<td>
|
||||||
<a href=@{RepoSourceR user repo (dir ++ [name])}>
|
<a href=@{RepoSourceR user repo (dir ++ [name])}>
|
||||||
#{name}
|
#{name}
|
||||||
|
|
|
@ -62,9 +62,9 @@ $case sv
|
||||||
<td>
|
<td>
|
||||||
$case type'
|
$case type'
|
||||||
$of TypeBlob
|
$of TypeBlob
|
||||||
[F]
|
🗎
|
||||||
$of TypeTree
|
$of TypeTree
|
||||||
[D]
|
🗀
|
||||||
<td>
|
<td>
|
||||||
<a href=@{RepoSourceR user repo (ref : (dir ++ [name]))}>
|
<a href=@{RepoSourceR user repo (ref : (dir ++ [name]))}>
|
||||||
#{name}
|
#{name}
|
||||||
|
|
Loading…
Reference in a new issue