AlexD97

24:00 timestamp fails to be parsed

1

I think that 24:00 as time is allowed in org-mode. But Org.jl fails to parse it (or Dates.Time).

Ideal gens merge

1

Introducing Gröbner bases/standard bases and ideal generating systems, as discussed. This PR contains the necessary amount of changes and resulting streamlining, while staying as close as possible to the status...

Hi, I added pdf support for xoj files. I hope, it is working correctly.

Syncthingtray window is immediately closed

15

When clicking on the tray button of syncthingtray the window is opened and closed immediately. I also tried to add a rule with `'float': True` but this does not help.

Is it possible to mirror screens in newm?

Move windows when resizing

1

When I resize a window, let’s say to the right and there is already a window to the right, then the windows are stacked. Is there an option to move...

engrave region

8

Is it somehow possible to export only a region of the current buffer like in htmlize? And is it possible to prevent engrave-faces from creating a new temporary buffer/using a...

I often use the ⧺ symbol, and I believe others might as well. Therefore, I have added it to agda-input.el.

3+ gestures produce characters in terminal

2

When the terminal (in Gnome) is used und I make a 3+ gesture, characters like A,B,C,D appear in the terminal. Only after this I can make the gesture again and...