1. Aug 19, 2016
  2. Aug 18, 2016
  3. Aug 17, 2016
  4. 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
  5. Aug 13, 2016
  6. Aug 12, 2016
  7. Aug 10, 2016
  8. Aug 05, 2016
  9. Aug 04, 2016
  10. Aug 01, 2016
  11. Jul 29, 2016
  12. Jul 28, 2016
  13. Jul 27, 2016
  14. Jul 26, 2016
  15. Jul 25, 2016
  16. Jul 22, 2016
  17. Jul 21, 2016