Skip to content

Commit

Permalink
Updated Trac query styling to be more compact.
Browse files Browse the repository at this point in the history
  • Loading branch information
sarahboyce committed Jan 25, 2024
1 parent e6120e5 commit 7d7f39e
Show file tree
Hide file tree
Showing 4 changed files with 34 additions and 5 deletions.
28 changes: 26 additions & 2 deletions scss/trachacks.scss
Original file line number Diff line number Diff line change
Expand Up @@ -127,8 +127,27 @@ pre.wiki {
white-space: pre-wrap;
}

#content.ticket {
width: auto;
#generic:has(#guest) {
// Reduce the options available to guests.
#query .option {
display: none;
}
}
#content {
margin-top: 1em;
.ticket {
width: auto;
}
.report-result {
margin-top: 1em;
}
.paging {
margin: 0;
}
// Hide the first paging options as also available at the bottom.
.report-result + .paging {
display: none;
}
}

.foldable {
Expand Down Expand Up @@ -226,6 +245,7 @@ div[role="main"]{
li {
border-right: 0;
padding: 1em;
margin-top: 0;

a {
font-size: 16px;
Expand Down Expand Up @@ -259,6 +279,10 @@ div[role="main"]{
}
}

#ctxtnav {
display: none;
}

#mainnav {
border: 0;
border-radius: 0;
Expand Down
4 changes: 2 additions & 2 deletions trac-env/conf/trac.ini
Original file line number Diff line number Diff line change
Expand Up @@ -139,8 +139,8 @@ name = Django
url = https://code.djangoproject.com/

[query]
default_anonymous_query = status!=closed&desc=1&order=id
default_query = status!=closed&desc=1&order=id
default_anonymous_query = description~=&status!=closed&desc=1&order=id&col=id&col=summary&col=type&col=owner&col=component
default_query = description~=&status!=closed&desc=1&order=id&col=id&col=summary&col=type&col=owner&col=component

[repositories]
.dir = /django-mirror
Expand Down
2 changes: 1 addition & 1 deletion trac-env/htdocs/css/output.css

Large diffs are not rendered by default.

5 changes: 5 additions & 0 deletions trac-env/templates/django_theme.html
Original file line number Diff line number Diff line change
Expand Up @@ -76,6 +76,11 @@ <h1>Issues</h1>
</div>
</div>


# if req.authname == 'anonymous' or req.authname == '':
<div id="guest"></div>
# endif

# if req.path_info == '/':
<div class="container sidebar-right">
${main()}
Expand Down

0 comments on commit 7d7f39e

Please sign in to comment.