Merge branch 'Fltk_partition_options' into 'master'

Fltk partition options

See merge request !84
10 jobs for master in 36 minutes and 5 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #5402
official linux32
linux32_official_snapshot

00:25:37

passed #5397
linux64 docker
linux64_docker_ci

00:08:40

passed #5398
linux64 docker
linux64_docker_cxx98_compat_ci

00:04:48

passed #5399
linux64 docker
linux64_docker_minimal_ci

00:01:34

passed #5401
official linux64
linux64_official_snapshot

00:25:22

passed #5405
official macos64
macos64_official_snapshot

00:20:27

passed #5406
official linux64
source_official_snapshot

00:00:10

passed #5404
official windows32 allowed to fail
windows32_official_snapshot

00:27:10

passed #5400
official windows64
windows64_msvc_ci

00:11:20

passed #5403
official windows64
windows64_official_snapshot

00:23:59