Skip to content

Commit 7d7f39e

Browse files
committed
Updated Trac query styling to be more compact.
1 parent e6120e5 commit 7d7f39e

File tree

4 files changed

+34
-5
lines changed

4 files changed

+34
-5
lines changed

scss/trachacks.scss

+26-2
Original file line numberDiff line numberDiff line change
@@ -127,8 +127,27 @@ pre.wiki {
127127
white-space: pre-wrap;
128128
}
129129

130-
#content.ticket {
131-
width: auto;
130+
#generic:has(#guest) {
131+
// Reduce the options available to guests.
132+
#query .option {
133+
display: none;
134+
}
135+
}
136+
#content {
137+
margin-top: 1em;
138+
.ticket {
139+
width: auto;
140+
}
141+
.report-result {
142+
margin-top: 1em;
143+
}
144+
.paging {
145+
margin: 0;
146+
}
147+
// Hide the first paging options as also available at the bottom.
148+
.report-result + .paging {
149+
display: none;
150+
}
132151
}
133152

134153
.foldable {
@@ -226,6 +245,7 @@ div[role="main"]{
226245
li {
227246
border-right: 0;
228247
padding: 1em;
248+
margin-top: 0;
229249

230250
a {
231251
font-size: 16px;
@@ -259,6 +279,10 @@ div[role="main"]{
259279
}
260280
}
261281

282+
#ctxtnav {
283+
display: none;
284+
}
285+
262286
#mainnav {
263287
border: 0;
264288
border-radius: 0;

trac-env/conf/trac.ini

+2-2
Original file line numberDiff line numberDiff line change
@@ -139,8 +139,8 @@ name = Django
139139
url = https://code.djangoproject.com/
140140

141141
[query]
142-
default_anonymous_query = status!=closed&desc=1&order=id
143-
default_query = status!=closed&desc=1&order=id
142+
default_anonymous_query = description~=&status!=closed&desc=1&order=id&col=id&col=summary&col=type&col=owner&col=component
143+
default_query = description~=&status!=closed&desc=1&order=id&col=id&col=summary&col=type&col=owner&col=component
144144

145145
[repositories]
146146
.dir = /django-mirror

trac-env/htdocs/css/output.css

+1-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

trac-env/templates/django_theme.html

+5
Original file line numberDiff line numberDiff line change
@@ -76,6 +76,11 @@ <h1>Issues</h1>
7676
</div>
7777
</div>
7878

79+
80+
# if req.authname == 'anonymous' or req.authname == '':
81+
<div id="guest"></div>
82+
# endif
83+
7984
# if req.path_info == '/':
8085
<div class="container sidebar-right">
8186
${main()}

0 commit comments

Comments
 (0)