Diego Varese

Currently one can only use literals in @media queries for eg: specifying widths. It would be great if we could use functions (such as arithmetic functions) or reference @def constants...

SCCT should use the resourceDirectory value defined in Compile

2

It's currently using /resources when it should be using the value in Compile. I was forced to add this to get it to work: ``` resourceDirectory in ScctPlugin.Scct

Play returns empty responses when run using atmos-run

5

I added the sbt plugin for atmos and the necessary settings in my Build.scala. I am using Play 2.1.4 and sbt-atmos 0.3.0. When I run `atmos-run` I get ``` [info]...

If I'm playing a list of songs and I open the lyrics pane, the Name, Time, Artists... pane widths are not recomputed and end up incorrectly positioned. [Screenshot](http://imgur.com/Org5rBu)

@EnsuresNonNullIf doesn't seem to work as expected when used in a superclass

8

Here's a live example: http://eisop.uwaterloo.ca/live#mode=display&code=import+org.checkerframework.checker.nullness.qual.Nullable%3B%0Aimport+org.checkerframework.checker.nullness.qual.EnsuresNonNullIf%3B%0Aimport+org.checkerframework.dataflow.qual.Pure%3B%0A%0Aabstract+class+Animal+%7B%0A++%40Pure%0A++%40EnsuresNonNullIf(expression%3D%22asDog()%22,+result%3Dtrue)%0A++boolean+isDog()+%7B%0A++++return+false%3B%0A++%7D%0A++%0A++%40Nullable%0A++Dog+asDog()+%7B%0A++++return+null%3B%0A++%7D%0A%7D%0A%0Aclass+Dog+extends+Animal+%7B%0A++++%40Override%0A++++boolean+isDog()+%7B%0A++++++++return+true%3B%0A++++%7D%0A++++%0A++++%40Override%0A++++Dog+asDog()+%7B%0A++++++++return+this%3B%0A++++%7D%0A%7D&typeSystem=nullness As you can see, this fails to validate and I'm unsure why.