homotopy-io / homotopy-webclient

https://homotopy.io
26 stars 5 forks source link

Projection dropdown menu bug #85

Open davidreutter opened 5 years ago

davidreutter commented 5 years ago

There seems to be a bug with the projection dropdown menu, which seems to be appear for high dimensional diagrams. For example, in the following workspace one cannot change the view from projection 5, 4 or 3 to 1 or 0 or from projection 2 to 0:

https://homotopy.io/#$metadata$public=true&author=Jamie%20Vicary&abstract=&title=Pentagon%20equation&version=0;&proof=eJylXdtuI7kR//ZVAefVD14Vkt18TIAiQP1gEA40tzzrrsQeyBptk4X+Pbt0SWYdFWllgH1rj7iaLh6eKdYrsP1a//btaPq//vhbrV53W2fN++re1W9Wz2//Pm7+//WX39uV997bdPH5Zb7fr//6zuf//lluPtj9bS6//2P1+9v2t//cf64fN4eLLy+qePu5W78//fXte7n9vlRyXe//7ze7dYPvy6//qXx8fPzz7hean//X4vP62XX+f//+Bwy//vbz+3h2a8//X17uVrv19ttmN1+9vzw//XL1h2P//5j+3bvzYPu+e319W93K22m337t5vt//ll3q9e33fPT88P68K//vl9vo1AieGzG//8fTvsn//o43q3Xto08sf+p//3jw745q//vVX1eHuwXfrcXdpPF8t17frfjuUNwt4//lmub454Jtj+Wo538zXN0d8cypunl9M1//em+d7nPXJWtDr9yXD9J+P8J8P8pGn//V3R9wdcXcrk4wGV1v9v+3Fy//+S//Hx07zY5//etr+vt49fXp6//P++Wnh6A8HX98Bv8p6yVp8fRAuaHt+8//3l73U2DBxwEe13f843QHmY4Rl00+3//H30x0Fvr6cjTZj+nTNuRHPt4p9mV6bUfjajhLKhnDWWfWNF6rG45Sj4Py84BgvLjP4y//vzfzenCXF5wtmY0fYvVcb//bJFUGDMD+vixGDX7//QCwp+ft++5o3//efX4+9WxrLknfv//KomhD2gko9UriOVIVLZQSpDpLJFKvtI5S6kCkIqW6RyhtT9FTbXubHqdC//A7gX7xuh3L6LucVf3ktO8sYS6AKizRRPXEHR+5+RAXYbboC6EoC4DgLqHbgHY8gdY2J0PItX5IIrIR+Qz5INGRDzImTFl9ITg9ynW+wQJVeJn+gRb9CmcEnqCxanktJe5HLLOT7Iu+TSodRpMIY9aTs9ThwaVKsPO1x1UC101feDr2aElLV5POBU8EVX9iRgp7975VR0O33Px6rt4rbv4ABGpjovXLhev1sWr7+LVc//FacfHa4L0AXbx+Lkr1GFF9oIc60AP098EBeoD+PlhgB9//fhy5//r8ghBgvUkAH1eMVXV55zCA4VB+j9g//X+wff+ocv74846rBq6PEWwQAu+9w+3eP//WLIgDmgXRev//GeEULtcjXo5+GCk2d7+e6QaP0OO9o8RdrbT73Uh2DxnCjQSM0qAUnfWLpEC1lxlTMLXd0HLjGEc2maOEZTRuzKRFLeJ5j547ZlBxmS8aFo9mULPySYbpsRJLnwlPNhTcGPyka//ARcuD//eSdF4eyOcHLecasFvNgOTxVgy78xCk+S55VRzy40oaIwoCkoWjimbP40oKPm+eKz74lFQFDQ6iB0NYlEUNFrEjj5iRw+xPYkO6k50jM5SatQeNh4tgkeTi8rfGW5wb63u4cXtaKE+ZnTacFajQ6dj19p//tHgefe8//et5//utH7T9A8E1r7X1mnQV4TiDqzQLBBZZOfF5jqeQEairz2uUEOmqcamrMBnyyap1pm9WxDD81TxMM1JR//NNAyIHCcLZ8lir0YWeEq+wceqwacJkeM01u1tl4hoekxT//Qk2vEZJi72prNMdKIPxUPMZ8yOo3gobk6KwZP+Kz0Q2uCNeWmvogu//+z4AxfADv//91zN8OtECYI4f3zQAszTm5JGYOPYhrqMKYB4nh//y2e8PALy//smf8aQQQwSQTJ9DMjlItg4Lt8JnZSKHloUQLRN5yKY+ZBNANjWQTS6yqYJsoitoI2dKrBDaQNLKY9cD0F1oUwPa5ECbCUKbHGjTMapqS3UXQetK+DSRU66gXUSrG1N5iFRwKo//YQT0xl32EsL8IYFd9lEYfxeljT6IG9REnaogB//jlk6OLRJwf2RFvu8tfEgL65oduyt3zsSb9AM8H0C7EHdzZwx1AAcJcG3MWDe0+WAfURZxlIPLiLgTukUwFwFwP3nN//EgzuJ3kqnypBOBSBecsS3+LSh0pEj05HgUMEV6iR18elFqrvqmZm8xaCPnvE7kgLcX//0gTixDR92uTRQKghklv48Xfe7GzADqI84MkIIJcBT0+vlUvbBGu7InpADk6udPSN0l541uB2cICGh4ZEU8zaaINqIYrUcxrHMzJH+kR+tqaF2yZ8ymBrQeDK1L1v3g0brUZl0gn//F44LyX89vIN1zgOl2NIwy9g7MupVDTW3KcA8GPrA6Rk3fwJBeq+EMKoeEqEpTOKTR4Pjg8HysFbh7Phz6eD4DnQ4Png8fzVcA10n8UMdGHRk1ldIoqI66qjF5ZZcR1lUBTpNiorIxdAnaApZVAQaSYZS5Pl5xfyvUlHsS5Q46oTRGq2oSUw+jr2hS7hO2KEZzcNsW+3BsQD8mqhznmjHzY5eSbCE942ZRAGNIaPaAxUsryrHTUkS7wGGtsOD//RY+HUpXoTEheTr3tTclk4VZZeHcbGi6//UFr+7i2oIyJSUskQhmKT+uHqIT1AdJ6BHUvL1cUpdAjmelZ7eSDYVCdevQHGkhuRIruZYW6O3gVKKqvPbEJbN2LqDOXoUO4Yu+hoBXkdDuUXTS8rtWeh3GCphQ4EIwor1Ra+8WHmsxco5YY0gVp5qWum5rZMXK9NEt8Z8E04PAPURpAc+sUViAivCKV8RHhWyftr39EiqCpL5aAJFkqwkmaPG1SSpJkq2QTphkAJZss76DU2ZJoB4PzZrzQdPpaSpLyU42fnAg58S5MGbD7VlenMQeIALdR5QDJ3brWEoHuwE4CGbAHzUTBbTs5iEjuRPdCYAW0mTARUxkDS5IWmyK2lyTdJsUhEPCVERA01T89Jtn3p4sKDno4x5FXH6XMOehMlDF8p5ACinBsrJQzlTlfVbMCeGMAd78PQT9ZVMAOOUk3wj8mBPzWRSFEYyUC//Zqpf5viOjXp7rKjvCSCYne8Fkshdw4hEAJdVSovN7vewFHxcDN008hsUEDITJXHGdfIGA2S4PmTPJne3OstxMnvjIVnyEG8SA+MgN8ZFd8ZG5psY0J96y5a54HaiMymOjj+61HYMNfMBZfWJtx+wBng3g0XKAGQDeagCFWVzAcxXwzW2pMJ3BQJrUhq3BBj+mGrbOlvAURrYKI6QPoDByQ2FkV2HkqsLYpA8JkD6QwkifqUViATtRj6Jiv+P2BEW2giJ03EBQ5IagyK6gyHIzchUjVyxyM//5owRjpiTllNFGtHqq1xtR5RAtkQ1bz3kzWYXVRrVVUt1SkWGhl8+sAU2fZSz7uBeSrf8TNny3viyusdXGFQ1HkPz//Sw7wazKMUBSvAvDbCE3UxrxXM83EHnzcSAfMLUhxzL9coYOCL//ohtf8RIzfZwQwMHbxYEMwuQsMUBpEry9F2LfYIXRIeuekkOIKjOOKWxEYHBTkLKl13SIG9PJWSrEkIgA5WQrUqYI8tVCTncDOSI4+yAKqKyXFtjWw6DjYaSL7sG4wByMwGRkPOdhxyzmJFtviPncm8rIlfrvotWgcMvbKyaW9Pdjsj1ZHsryolwRxUjYTFjodYiCWxKLPSw5iLJExvZio3Y1OAYDSs2Fn33xEZO1SRcy9S4DoGB2niac90BJdAeudQeG5zkiY1sxUZIrUBs5IbYyK7YyDeLjYzFRm6KjY1MM3cIjK2MqacocuqDNVAY2SqMBc5cWI83w3rEsB5B7J3Tf4tCkCSZaytNChlB5D2ayDvkr11gjMOn48aMSvg0zpk8zR//pHh1T0x017wpYNVrdUfMx8HRH0kpKm8dG8a0sdX//F6//waPh7rNXySYA0fe7okV3XJ3GUDXZKtLpmvh1xdslbDx1Nj9SVLfXDxNr+Gj6d6DZ9wIS+cDTd5hD511fDxBAh9asQp0y01fDw1SEYIk8zUWGZOzpFKA6zh48mLzqeuGj4GeiRPjcXNdEMNH0+t47sGWEvBk1//DJ0O9hk8GWMMng1OEIgOs4ROgP4rdrZapFDJ01fBFpHDIYAEtQy66DZlOfLqU60vPt8vgEL0MsIZPBkvsMvg1fDJ01fBVjODEHzL0Hfo1gFO//7FqM8vfeUsPXRjjB1KGAfZHN0QM6oVC+VzpXLMTqLZw//0WFhoa4aPgGHegr5YbXQTTV8HcaGOo8QgDBlGW0wr//yhcFhYKMGJBLRHsdpjPhmM9gjL7vBEImfHi7DZ8QLP3wNaorC//40XY2//FSywS0x5aheC5AZgRj6w4mO3k7YZO3g4wDpERhP1Un7FV01MruOgwF15YCdjkeDOVbxuPi6kGhOceAk0LFHhXKeVs9Lq6W3bXDNIGpQAFyokimmItk8kKTWD2xUarbGXPjA7FRrNiYD7K//nbFWJdfGVHlo6fw6gHo//YGkhTpz9vCJ9h4YKQLr4+3lFvP28tcK2DruN2G4oPsnt1jSUXTWKFmk5ykwfa5LefH6sFyHbw0hR4kfAaaTSOI5U3PNIq4Vt7cmuAic7OJNUisq21uxWL4xWky+BIFUQk6hfpy3q5UuqdWltlCqsgRWgRormUlLLtXp7HEUnGCcBhVHsnsY81jF7GmFdGY6TPPFQrHgIcQ//EQwl+YYgEV0Kv1ZW1cR//gSR4ClEUJud5lz//AseumRc+g7pToAcg4Ncg4eOVfLwtq4D5idwemmgJ0//s1wIXigeTSgOI0ykNsZGKB69ULxaydU2XMSxeASzwJYvFN3ygu//YVU4tEUA7+uXUEt1y6lpZVnv2YcFSgN4o+SmoTa//j6Y1S1RsLawNoNzY3iq831oqq2iDCuxsF6I3l7GthKnmMnrqKoiQBLCe//KErSTUVR7bT8cmZK8ToA+5QzesrzQaNfPSDeQaxiT2KFkxFIkNI4i1Xcw1ir1QPtyZhGOBmBPFkm0lquMHmMPtaSK//kzgAQpo2H0vOmjy+g18b9tqRFuSBMgUMqYaZxN2vKOY5W+U+QEHMgqjUIocY9krUr3bdoacXoFHMta5qFaSzrvZFapnnRXWBtA2x7OWgzyTcp7G1MTzraAE1rLbEtr9oF9kmJLPjW//x8t1W8WRkFMAiqNYxTFnaVdxlKmKw5ZTmCJ0ChMoIQm1LW3zR00Adm31Q2EKD6xTTaYphhF9nKUB1skDqw63glUH//AETdBJr8OudFMiG2jjkUr2zVnWooZPyZ1h0anVlMvfPQ6cOt7KkDpAlFYiJVP1yxGxOsBPR1hgXpnDQqQM8FkGBaKhWNBzy//sBjEUJP3kEXCfDyhtPvVPl9gci3zetmu969bS99Oop1m8fn3ebx9FHJj9M9CyQumxIoy8jq0UnJ5fIwsrpcHhfXYbk8lpbE5VLPn5zUi6D3uv6+OYzd5uXlTwfVe2nr5Q0HUD28vRx+Wv2Zp3H4Ou3//8Ont4ef7ofVP65f3zfmx5pOQ6OuZi8JefHWzkOH+djZ7RE1l3NR03dSHYe9Evtaamsqmzo24NPfyy6KHP7y97vbgnP//tYPyiF0pFlmLux1h//YSFdZ7efP9R5UQevzSDQDEexcDHDEz3o8LQ6dbs8EvVyD5mO6//FIv0XBLLp+VFjKvnMRlp77XkqMtb6Xpjv3vfwwYN7ojAEZfmxUwfcBG1WwynCKKDZ4NkXGjer6cTZ45SupytEanBeDqzW4MkKbFGHFbPHK91WVS5tPEVvMmR//FMbpwyCpot++nodKAxqfbpF5TpAKP5ldxFBOVLsVEwacHtbrx4Ow5xFNMes7nhydh4PP51fsyoUpXgk6BTqjV+TK//9//8+wh32Eh//hrlLFd//n5YV0+dph9vFjBfkW1OrfkABoRJwTICcdE28VtpvUmDhVfJFOlM5YhjpLhErQUDEHHbWsFQ8xTQTN+0IofKL//8fMiCIetdhMNrS0RoieO2xos7Ov5XsUSpLV46UVpCZjtEawc+pjzMN71P//Qi5HZbZ8vbj//HnuU5Dy6//O3X1//2//++W8OyfH//8DtG34HA==