Google Code Exporter
Google Code Exporter
``` agda data Nat (i : Size) : Set where zero : Nat i suc : ∀ (j : Size< i) → Nat j → Nat i unfoldaux : (f...
``` Provide an unified version of a GDB stub that works with all cores. ``` Original issue reported on code.google.com by `[email protected]` on 17 Nov 2014 at 4:04
``` What steps will reproduce the problem? 1. Create a Dual GB XML file 2. Load XML File in EmuHawk What is the expected output? What do you see instead?...
``` When loading N64 games, the sensitivity slider under the "analog controls" tab in the controller menu only seems to affect joypad bindings. The keyboard keys configured under "normal controls"...
``` One may choose to show default columns around task bars on Gantt chart with chart options. However, custom columns can't be shown this way. Initially requested here: http://forum.ganttproject.biz/view/20130109124427_54nm4r4o9oyzcc5c3b08jd0k1#0 ```...
``` Is it possible to get the timeline show quarters and half years? E.g Q1/2012 I Q2/2012 I Q3/2012 I Q4/2012 or 1half/2012 I 2half/2012. If not, this could a...
``` While working with Ganttproject I often 'snap' it to the left side of the screen while having e.g. 'Meeting minutes' snapped to the right side of the screen. (This...
``` What steps will reproduce the problem? Hi, I try set resolution to high, and rendermode to smooth but I still see it as in low res mode. It is...
``` What steps will reproduce the problem? 1. 2. 3. What is the expected output? What do you see instead? I want to change the modelcolor with a button. What...
``` What steps will reproduce the problem? 1. 2. 3. What is the expected output? What do you see instead? I would get the coordinates x, y, z from the...