phantamanta44

MathSAT does not allow variables of different sorts with the same name

4

MathSAT throws an exception if two variables with the same name and different sorts are ever declared. For example: ```kotlin SolverContextFactory.createSolverContext(SolverContextFactory.Solvers.MATHSAT5).use { solverCtx -> val ifm = solverCtx.formulaManager.integerFormulaManager val bfm...

Implement support for EWMH _NET_WM_MOVERESIZE client messages

13

This PR adds support for the EWMH client message `_NET_WM_MOVERESIZE`, which allows clients to delegate mouse-based movement and resizing to the window manager. It does this by: 1. adding a...

Allow pen button bindings to only trigger on screen tap ("click & tap")

28

### Description I would like the option for a pen button binding to trigger only when the button is held and the screen is tapped, which corresponds to the "click...

Handle Forge jar-in-jar dependencies

4

Some 1.12 Forge mods (e.g. EnderCore) distribute with jar-in-jar dependencies, which usually get unpacked and loaded by FML at runtime. This PR makes `DependencyDeobfuscationTransform` unpack and deobfuscate those jar-in-jar dependencies...

Universal Autocrafting

5

This PR adds the infrastructure needed for autocrafting with any item type that can be represented by an `IStorageChannel`. ## Implementation Notes The key idea is to just replace all...

feat: unidentified item improvements

3

I have often been annoyed by how hard it is to distinguish between identified items and unboxed unidentified items in the inventory---especially because when you go to identify a bunch...

This PR: * Adds offensive type effectiveness to type pages * Reorganizes type effectiveness information into tables like this:  * Adds defensive type effectiveness to Pokémon...

### Which feature or improvement would you like to request? As briefly mentioned in #2143, it's sometimes useful to programmatically set the return-path of a `redirect`ed email. While it's possible...

Compute maximized geometry after applying titlebar (fixes #3778)

2

The issue in #3778 is essentially just that EWMH client hints are processed before the rule engine runs, which means the maximized client geometry is computed without accounting for titlebars...