[dMopp]

Summary

Two reported issues plus a bug found on the way.

What changed

• Search in the raw editor (Ctrl+F) – a search bar above the text: every match is highlighted, "n of m" counter, Enter / Shift+Enter or the arrow buttons jump between matches, "Aa" matches case, Esc closes it. A selection on one line is taken as the search term; editing while the bar is open re-highlights without moving the cursor.
• More decimal places – float options and shader constants keep up to six decimals. The spin rows had a fixed 1–3 digits, so GTK showed 0.125 as 0.13, rounded the value to that when the field lost focus and refused extra typed decimals. The display now trims trailing zeros (keeping the previous minimum) and uses the locale's decimal separator, which GTK requires when parsing.
• Unsaved-changes dialog on close – _on_close(self, *_) shadowed the gettext _, so the handler raised and the window closed without asking. Same fix for the raw editor's "Edited" status.
• German translations for the new strings, CHANGELOG (Unreleased) and README updated, tests for the number formatting.

Merge notes

• No config or schema changes; nothing to migrate.
• Tested: full test suite (88 passed) and a GTK smoke test of the spin rows and the search in German and C locale.