mirror of
https://github.com/benbusby/whoogle-search.git
synced 2026-04-25 04:05:57 +03:00
[PR #517] [MERGED] Add Update Available warning #901
Labels
No labels
Fixed (Pending PR Merge)
Stale
bug
enhancement
enhancement
good first issue
help wanted
keep-open
needs more info
pull-request
question
theme
unfortunate
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/whoogle-search#901
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/benbusby/whoogle-search/pull/517
Author: @vacom13
Created: 11/1/2021
Status: ✅ Merged
Merged: 11/2/2021
Merged by: @benbusby
Base:
main← Head:main📝 Commits (3)
c794749Update Available banner added. Implements #3053a2b279Implemented the requested changes86403fePEP8 changes📊 Changes
7 files changed (+28 additions, -15 deletions)
View changed files
📝
app/__init__.py(+2 -0)📝
app/routes.py(+13 -1)📝
app/static/css/dark-theme.css(+1 -1)📝
app/static/css/light-theme.css(+1 -1)📝
app/templates/display.html(+1 -6)➕
app/templates/footer.html(+9 -0)📝
app/templates/index.html(+1 -6)📄 Description
Update available now shows up in the footer if "version_number" doesn't match the newest version.
Implements #305
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.