jun0

Spacing around ⋯ (U+22EF) vs \cdots

3

## Description The character ⋯ has the same spacing around it as ordinary characters. Most other math symbols seem to mimic the spacing of their traditional LaTeX-command counterparts (e.g. →...

`flutter-run-hot-reload` currently uses `pop-to-buffer-same-window` to display the `*Flutter*` buffer, which almost always displays it in the current window. I find this very disruptive: I set `flutter-run-hot-reload` in `after-save-hook`, so every...

`(cd subdir && ls)` gives error

3

## xonfig ``` $ xonfig +------------------+-----------------+ | xonsh | 0.14.3 | | Python | 3.11.6 | | PLY | 3.11 | | have readline | True | | prompt toolkit...

## xonfig ``` $ xonfig +------------------+-----------------+ | xonsh | 0.14.3 | | Python | 3.11.6 | | PLY | 3.11 | | have readline | True | | prompt toolkit...

Realtime kernel causes "Assertion `!counting_period || measure_val <= adjusted_counting_period' failed to hold"

6

I see this error while synchronizing on a condition variable, after calling `sched_setscheduler()` with `SCHED_FIFO` on a kernel with the RT-preempt patch applied. It reproduces on Linux 4.4.53-rt66 and 4.9.15-rt12,...

Fix height handling

1

Hi, the height parameter of org-pdftools link seems to be treated incorrectly: `C-c C-o` jumps to a point that's way too high (i.e. way too close to the top of...

Divergence When Using @/=

4

This might qualify more as a question than a bug report. I tried writing the following model, which creates two variables ranging over {1,2} and constrains them with @/= so...