1. Aug 26, 2016
  2. Aug 24, 2016
  3. Aug 23, 2016
  4. Aug 20, 2016
  5. Aug 19, 2016
  6. Aug 18, 2016
  7. Aug 17, 2016
  8. Aug 16, 2016
    • Andrew Waterman's avatar
      Make "def width" a private API; expose isWidthKnown instead (#257) · ddb72787
      Andrew Waterman authored
      * Make "def width" a private API; expose isWidthKnown instead
      
      Resolves #256.
      
      Since width was used to determine whether getWidth would succeed, I added
      
          def isWidthKnown: Boolean
      
      but another option would be to expose something like
      
          def widthOption: Option[Int]
      
      ...thoughts?
      
      * Document getWidth/isWidthKnown
      
      * Add widthOption for more idiomatic Scala manipulation of widths
      ddb72787
  9. Aug 13, 2016
  10. Aug 12, 2016
  11. Aug 10, 2016
  12. Aug 05, 2016
  13. Aug 04, 2016
  14. Aug 01, 2016
  15. Jul 29, 2016
  16. Jul 28, 2016
  17. Jul 27, 2016
  18. Jul 26, 2016