phantamanta44
phantamanta44
So then the idea is that the JavaSMT user should either generate a new solver context for every SMT call, or otherwise implement some kind of unique renaming thing themselves?
hey sorry, i missed this issue. is this still happening?
still want to support this anyways... somehow
I probably should have just read the jar manifest in the first place, but I was lazy
* Added documentation * Added integration tests for mouse movement/resizing * Augmented the test client with an option that equips it with a GTK 3 custom title bar for this...
seems like the failed checks are just formatting issues. should i just fix them then squash the last few commits?
agh, `awful.mouse.client` passes `corner` as part of the args for `awful.mouse.resize`, but the same args table then gets passed down to the placement function used for the resizing, which conflicts...
there are a couple things holding this back: * the tests are failing because of my comment above about corner locking in mouse resizing operations. probably the most sensible way...
> * the tests are failing because of my comment above about corner locking in mouse resizing operations. probably the most sensible way to deal with it here is to...