Code

Add a edit_integer widget.#39

Code

Open

andrewray wants to merge 2 commits intoocaml-community:masterocaml-community/lambda-term:masterfrom andrewray:lineeditandrewray/lambda-term:lineeditCopy head branch name to clipboard

+277-57

Commits

Commits on Apr 28, 2016

• Add a edit_integer widget.

  Show description for 52716b1
  andrewray

  committed
  52716b1

  Copy full SHA for 52716b1

Commits on Apr 29, 2016

• allow negative numbers in edit_integer

  andrewray

  committed
  6bc3541

  Copy full SHA for 6bc3541