Merge branch 'Fltk_partition_options' into 'master'

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

25:37

passed #5397
linux64 docker
linux64_docker_ci

08:40

passed #5398
linux64 docker
linux64_docker_cxx98_compat_ci

04:48

passed #5399
linux64 docker
linux64_docker_minimal_ci

01:34

passed #5401
linux64 official
linux64_official_snapshot

25:22

passed #5405
macos64 official
macos64_official_snapshot

20:27

passed #5406
linux64 official
source_official_snapshot

00:10

passed #5404
windows32 official allowed to fail
windows32_official_snapshot

27:10

passed #5400
windows64 official
windows64_msvc_ci

11:20

passed #5403
windows64 official
windows64_official_snapshot

23:59