Ubuntu 25.10: DrRacket internal error when opening toolbar

Open
#360 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
35/100
Issue type
Bug
Clarity
Needs clarification
Activity status
Stale

Research direction

Reproduce the error by opening the DrRacket toolbar on Ubuntu 25.10 and inspect the stack-trace locations in gui-lib/mred/private/lock.rkt and drracket-core-lib/drracket/private/syncheck/gui.rkt. Determine why the toolbar path passes -8388608 to screen->client; done means opening the toolbar without the contract violation across the reported installation methods.

Written by the indexing model from the issue text.

Description

As the title says, when I click on the DrRacket toolbar following internal error is displayed in a small window:

screen->client in window<%>: contract violation
  expected: (integer-in -1000000 1000000)
  given: -8388608
  context...:
   /snap/racket/current/usr/share/racket/pkgs/gui-lib/mred/private/lock.rkt:43:38
   /snap/racket/current/usr/share/racket/collects/racket/private/more-scheme.rkt:266:2: call-with-exception-handler
   /snap/racket/current/usr/share/racket/pkgs/drracket-core-lib/drracket/private/syncheck/gui.rkt:1462:12: syncheck:update-drawn-arrows method in ...ate/syncheck/gui.rkt:405:10
   /snap/racket/current/usr/share/racket/pkgs/drracket-core-lib/drracket/private/syncheck/gui.rkt:2181:8: on-activate method in unit-frame-mixin
   /snap/racket/current/usr/share/racket/pkgs/gui-lib/mred/private/wx/common/queue.rkt:436:6
   /snap/racket/current/usr/share/racket/pkgs/gui-lib/mred/private/wx/common/queue.rkt:487:32
   /snap/racket/current/usr/share/racket/pkgs/gui-lib/mred/private/wx/common/queue.rkt:639:3

The error gets displayed regardles of installation method (.sh file, apt, snap, flatpak).
When I open drracket from terminal I get the info:

Not loading module "atk-bridge": The functionality is provided by GTK natively. Please try to not load it.


Following solutions I failed:

  • Deactivating background expansion in preferences
  • GTK_CSD=0 drracket or GTK_CSD="" drracket
  • GDK_BACKEND=x11 drracket
Dominant language
Racket
Stars
68
Forks
83
PR merge metrics
No merged PRs in 30d

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from racket/gui

All issues in racket/gui

Similar issues

More Desktop Dev issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.