72 lines
2.8 KiB
HTML
Raw Normal View History

feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to improve query performance for profile retrieval operations.
2026-06-13 12:09:48 +02:00
{% set uname = user.get('username') if user else 'YOUR_USERNAME' %}
<div class="docs-content" data-render>
# Notification settings
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to optimize query performance for profile retrieval operations.
2026-06-13 20:34:47 +02:00
DevPlace notifies you when something involves you: a comment on your post, a reply to your comment, a
mention, an upvote on your work, a new follower, a direct message, a badge, a level-up, or an update
on a bug you filed. You decide which reach you, and how.
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to improve query performance for profile retrieval operations.
2026-06-13 12:09:48 +02:00
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to optimize query performance for profile retrieval operations.
2026-06-13 20:34:47 +02:00
Each notification type is delivered on two independent channels:
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to improve query performance for profile retrieval operations.
2026-06-13 12:09:48 +02:00
- **In-app** - the notification appears on DevPlace (the bell in the top navigation and the
`/notifications` page).
- **Push** - a native web push notification is sent to the devices where you enabled push.
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to optimize query performance for profile retrieval operations.
2026-06-13 20:34:47 +02:00
The channels are independent: you can keep a type in-app but silence its push, or the reverse.
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to improve query performance for profile retrieval operations.
2026-06-13 12:09:48 +02:00
## Where to find it
Open your profile and choose the **Notifications** tab, or go straight to
`/profile/{{ uname }}?tab=notifications`. The tab is private: only you (and administrators) can see or
change your settings.
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to optimize query performance for profile retrieval operations.
2026-06-13 20:34:47 +02:00
Each notification type is one row with two checkboxes, **In-app** and **Push**. Ticking or unticking a
box saves immediately - there is no separate save button.
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to improve query performance for profile retrieval operations.
2026-06-13 12:09:48 +02:00
## What each type covers
| Type | Fires when |
|------|------------|
| Comments | someone comments on your post |
| Replies | someone replies to your comment |
| Mentions | someone mentions you with `@username` |
| Upvotes | someone `++`'d your post, comment, project, or gist |
| Followers | someone starts following you |
| Direct messages | someone sends you a message |
| Badges | you earn a badge |
| Level-ups | you reach a new level |
| Bug tracker | there is an update on a bug report you filed |
## Defaults
Every type and channel is **on** until you turn it off, so notifications work out of the box. A type
you have never changed follows the platform default; once you tick or untick a box, your choice is
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to optimize query performance for profile retrieval operations.
2026-06-13 20:34:47 +02:00
remembered and no longer follows later changes to the default.
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to improve query performance for profile retrieval operations.
2026-06-13 12:09:48 +02:00
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to optimize query performance for profile retrieval operations.
2026-06-13 20:34:47 +02:00
Use **Reset to defaults** at the bottom of the tab to clear all of your choices and return to the
platform defaults.
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to improve query performance for profile retrieval operations.
2026-06-13 12:09:48 +02:00
## Turning push on
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to optimize query performance for profile retrieval operations.
2026-06-13 20:34:47 +02:00
Toggling **Push** for a type only takes effect once you have enabled push notifications on the device
with the bell-with-slash button in the top navigation or on the `/notifications` page. Until then,
push has nowhere to be delivered. See [Push notifications](/docs/push.html) for the device-side setup.
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to improve query performance for profile retrieval operations.
2026-06-13 12:09:48 +02:00
## Ask Devii
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to optimize query performance for profile retrieval operations.
2026-06-13 20:34:47 +02:00
You can change these settings in plain language through the Devii assistant:
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to improve query performance for profile retrieval operations.
2026-06-13 12:09:48 +02:00
> Turn off push notifications for upvotes.
> Stop notifying me about new followers entirely.
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to optimize query performance for profile retrieval operations.
2026-06-13 20:34:47 +02:00
Devii reads your current settings, makes the change, and can reset everything to the defaults (it asks
you to confirm a reset first, since that clears all of your choices).
feat: add user_id index to profiles table for faster lookups The profiles table previously lacked an index on the user_id column, causing full table scans during user lookups. This change adds a B-tree index on user_id to improve query performance for profile retrieval operations.
2026-06-13 12:09:48 +02:00
</div>
<div class="devii-doc-cta">
{% if is_admin(user) %}
<a href="/admin/notifications" class="sidebar-link">Notification defaults (admin)</a>
{% endif %}
</div>
Reference in New Issue Copy Permalink