Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
I
iTasks-SDK
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 78
    • Issues 78
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 2
    • Merge Requests 2
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI/CD
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • clean-and-itasks
  • iTasks-SDK
  • Issues
  • #428

Closed
Open
Created Nov 13, 2020 by Camil Staps@cstaps🚀Owner

mapEditorWriteError resets value and form-item level is not always present

In the following program, it is impossible to fill in anything in the editor because the mapEditorWriteError sub editor keeps resetting the value.

Also, the form-item level in the DOM is only present when there is an error icon. Because the form-item adds margin, I think it should always be present (this causes the field to move slightly when the value changes in validity).

mapEditorWriteError

import StdEnv
import Data.Func
import iTasks

Start w = doTasks (enterInformation [EnterUsing id editor]) w

editor =
	mapEditorWrite combine $
	container2 e e
where
	combine (?Just x, ?Just y) = ?Just (x, y)
	combine _                  = ?None

	e = mapEditorWriteError check textField
	where
		check ?None = Error "fill something in"
		check (?Just x)
			| size x < 3
				= Error "fill in at least 3 characters"
				= Ok x
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking
None
Due date
None