Summary

Title-bar session lock sets MainScreenWorkspaceState.isReadOnly. workspace_panel passes it to Postgres/MySQL/SQLite homes. The Redis branch never passes it to RedisView / RedisExplorerView, and those widgets have no isReadOnly parameter.

With the lock on, users can still DEL, SET, HSET, HDEL, RPUSH, SADD, SREM, ZADD, ZREM, EXPIRE.

Same class as MySQL #803 and SQLite #793 (browse ignores lock). Redis is worse: there is no SQL workspace that honors it.

Scope

• Thread isReadOnly into Redis explorer/editor.
• Hide or disable write actions (Save, delete, HSET, TTL apply).
• Optionally send READONLY after AUTH when the session is locked (Redis 3.0+).

Out of scope

• Connection-form “read only” (Redis has no such flag; SQLite fix(sqlite): honor connection and session read-only on Table Browser #793 stored it in useSSL).