feat: hide default feeds option (#370)

This commit is contained in:
Matthew Esposito 2025-02-06 13:03:42 -05:00 committed by GitHub
parent 85329c96a7
commit 5265ccb033
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 78 additions and 7 deletions

20
templates/info.html Normal file
View file

@ -0,0 +1,20 @@
{% extends "base.html" %}
{% import "utils.html" as utils %}
{% block title %}Info: {{ msg }}{% endblock %}
{% block sortstyle %}{% endblock %}
{% block subscriptions %}
{% call utils::sub_list("") %}
{% endblock %}
{% block search %}
{% call utils::search("".to_owned(), "") %}
{% endblock %}
{% block content %}
<div id="error">
<h2>{{ msg }}</h2>
<br />
</div>
{% endblock %}

View file

@ -26,6 +26,11 @@
</fieldset>
<fieldset>
<legend>Interface</legend>
<div class="prefs-group">
<label for="remove_default_feeds">Remove default feeds</label>
<input type="hidden" value="off" name="remove_default_feeds">
<input type="checkbox" name="remove_default_feeds" id="remove_default_feeds" {% if prefs.remove_default_feeds == "on" %}checked{% endif %}>
</div>
<div class="prefs-group">
<label for="front_page">Front page:</label>
<select name="front_page" id="front_page">

View file

@ -43,8 +43,10 @@
<div id="feed_list">
<p>MAIN FEEDS</p>
<a href="/">Home</a>
<a href="/r/popular">Popular</a>
<a href="/r/all">All</a>
{% if prefs.remove_default_feeds != "on" %}
<a href="/r/popular">Popular</a>
<a href="/r/all">All</a>
{% endif %}
{% if prefs.subscriptions.len() > 0 %}
<p>REDDIT FEEDS</p>
{% for sub in prefs.subscriptions %}