added sources overview

2025-11-08 14:35:45 +01:00 · 2019-02-01 10:12:45 +01:00
parent 6edc3d12c7
commit b5f392d73e
6 changed files with 59 additions and 80 deletions
--- a/scm-ui/src/repos/sources/containers/Sources.js
+++ b/scm-ui/src/repos/sources/containers/Sources.js
@@ -93,15 +93,17 @@ class Sources extends React.Component<Props> {

    if (currentFileIsDirectory) {
      return (
-        <div className="has-border-around is-round">
-          {this.renderBranchSelector()}
+        <nav className="panel">
+          <article className="panel-heading">
+            {this.renderBranchSelector()}
+          </article>
          <FileTree
            repository={repository}
            revision={revision}
            path={path}
            baseUrl={baseUrl}
          />
-        </div>
+        </nav>
      );
    } else {
      return (