Label truncation in new Pharo 8.0 64-bit (stable)

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|

Label truncation in new Pharo 8.0 64-bit (stable)

Shaping1

Hi everyone.

 

Below is a Pharo 8.0 64-bit (stable) image (installed with the new Launcher 2.0) with two changes:

 

-Light theme selected.

-FiraCode 11 chosen as the default font.

 

 

 

Truncated labels in the GUI on font change has always been a problem.  Am I the only one experiencing this? 

 

 

Shaping

From: Pharo-users [mailto:[hidden email]] On Behalf Of Sanjay Minni
Sent: Friday, 17 April, 2020 11:05
To: Any question about pharo is welcome <[hidden email]>
Subject: Re: [Pharo-users] issues in setting up a new project on Github/Iceberg

 

Thanks tried just https and this worked too

I suppose once cloned it does not really matter whether it was done using "clone from github.com" or "clone remote repository"

---

Sanjay Minni

+91-9900-902902

 

 

On Fri, 17 Apr 2020 at 19:43, Guillermo Polito <[hidden email]> wrote:

Hi,



El 17 abr 2020, a las 15:30, Sanjay Minni <[hidden email]> escribió:

 

Hi Guillermo,

 

Ok then given your comments - right now got it working  as such

  - initially created as private in Github

  - changed to public

  - created clone from github

  - (did a repair repository (dont know why)  and created "src" and designated it as source folder)

  - did a commit and push

  - changed repository back to private

seems to work

   

can you give an example on how the "Remote URL" field is to be filled up - note its not taking HTTP as i am not sure about the syntax, assume SSH, Github, MyName, MyRepository, 

will try that as well

 

you should be able to use the URLs provided by the clone buttons in Github/gitlab/bitbucket, both https and ssh.

 



 

note Just for Info to other users: 

I am using Windows 10, it seems to have SSH tools inbuilt and was able to use ssh (with passphrase) without hiccup, by putting my key files path in pharo setting-> ...-> use custom SSH keys, and uploading the .pub key in Github

 

:)

 

Thanks



---

Sanjay Minni

+91-9900-902902

 

 

On Fri, 17 Apr 2020 at 18:36, Guillermo Polito <[hidden email]> wrote:

Hi Sanjay,

 

This is a bug in Iceberg github integration that tries to access the repository to get metadata using Github REST API using anonymous access apparently.

And since your project is private, this fails.

 

As a workaroung, I suggest you to clone using the last option that requires an url only:

 

<PastedGraphic-3.png>

 

This option will not use the Github API, so you should find no problems.

 

I’m planning doing an Iceberg sprint and fix many issues in the coming weeks.

(Also if somebody wants to join, this is an open call :))

Guille



El 17 abr 2020, a las 12:49, Sanjay Minni <[hidden email]> escribió:

 

Using Pharo 8 64 bit on Windows 10

I am trying to setup a new project on Github using Iceberg following the
document  "Manage your code with Iceberg dtd 25 March 2019)

After creating the project in github when I try to clone from Github as (I
am at doc item1.4) The system throws an error and the project does not
appear in iceberg although the files are downloaded. This happen in both
cases whether I use HTTP or SSH  

What is going wrong ?

also: assuming the clone is made, as per next item in doc 1.5, the directory
"src" is created after the clone is made. is that correct ?... then how will
the packages sources be mapped to ..\src


<http://forum.world.st/file/t368721/1-GettingFirstEmptyProjFromGit.jpg>

<http://forum.world.st/file/t368721/0-GithubProjectCreation.jpg>





-----
cheers,
Sanjay
--
Sent from: http://forum.world.st/Pharo-Smalltalk-Users-f1310670.html

 

 

Reply | Threaded
Open this post in threaded view
|

FW: [Pharo-users] Label truncation in new Pharo 8.0 64-bit (stable)

Shaping1

Can anyone suggest a fix for the truncated labels shown below in the screenshot of the Setting window?  This happens in the Git client too.

 

Will Pharo tools be rewritten in Spec2, and does its formatting scheme solve generally the text-formatting problem, as font size is changed?

 

Why don’t we opt for easy elastic rendering of GUIs by implementing Pharo as a web app?  Has this been discussed?  Willow is looking very good.

 

 

Shaping

From: Pharo-users [mailto:[hidden email]] On Behalf Of Shaping
Sent: Saturday, 18 April, 2020 04:16
To: 'Any question about pharo is welcome' <[hidden email]>; 'Pharo Development List' <[hidden email]>
Subject: [Pharo-users] Label truncation in new Pharo 8.0 64-bit (stable)

 

Hi everyone.

 

Below is a Pharo 8.0 64-bit (stable) image (installed with the new Launcher 2.0) with two changes:

 

-Light theme selected.

-FiraCode 11 chosen as the default font.

 

 

 

Truncated labels in the GUI on font change has always been a problem.  Am I the only one experiencing this? 

 

 

Shaping

From: Pharo-users [[hidden email]] On Behalf Of Sanjay Minni
Sent: Friday, 17 April, 2020 11:05
To: Any question about pharo is welcome <[hidden email]>
Subject: Re: [Pharo-users] issues in setting up a new project on Github/Iceberg

 

Thanks tried just https and this worked too

I suppose once cloned it does not really matter whether it was done using "clone from github.com" or "clone remote repository"

---

Sanjay Minni

+91-9900-902902

 

 

On Fri, 17 Apr 2020 at 19:43, Guillermo Polito <[hidden email]> wrote:

Hi,

 

El 17 abr 2020, a las 15:30, Sanjay Minni <[hidden email]> escribió:

 

Hi Guillermo,

 

Ok then given your comments - right now got it working  as such

  - initially created as private in Github

  - changed to public

  - created clone from github

  - (did a repair repository (dont know why)  and created "src" and designated it as source folder)

  - did a commit and push

  - changed repository back to private

seems to work

   

can you give an example on how the "Remote URL" field is to be filled up - note its not taking HTTP as i am not sure about the syntax, assume SSH, Github, MyName, MyRepository, 

will try that as well

 

you should be able to use the URLs provided by the clone buttons in Github/gitlab/bitbucket, both https and ssh.

 

 

 

note Just for Info to other users: 

I am using Windows 10, it seems to have SSH tools inbuilt and was able to use ssh (with passphrase) without hiccup, by putting my key files path in pharo setting-> ...-> use custom SSH keys, and uploading the .pub key in Github

 

:)

 

Thanks

 

---

Sanjay Minni

+91-9900-902902

 

 

On Fri, 17 Apr 2020 at 18:36, Guillermo Polito <[hidden email]> wrote:

Hi Sanjay,

 

This is a bug in Iceberg github integration that tries to access the repository to get metadata using Github REST API using anonymous access apparently.

And since your project is private, this fails.

 

As a workaroung, I suggest you to clone using the last option that requires an url only:

 

<PastedGraphic-3.png>

 

This option will not use the Github API, so you should find no problems.

 

I’m planning doing an Iceberg sprint and fix many issues in the coming weeks.

(Also if somebody wants to join, this is an open call :))

Guille

 

El 17 abr 2020, a las 12:49, Sanjay Minni <[hidden email]> escribió:

 

Using Pharo 8 64 bit on Windows 10

I am trying to setup a new project on Github using Iceberg following the
document  "Manage your code with Iceberg dtd 25 March 2019)

After creating the project in github when I try to clone from Github as (I
am at doc item1.4) The system throws an error and the project does not
appear in iceberg although the files are downloaded. This happen in both
cases whether I use HTTP or SSH  

What is going wrong ?

also: assuming the clone is made, as per next item in doc 1.5, the directory
"src" is created after the clone is made. is that correct ?... then how will
the packages sources be mapped to ..\src


<http://forum.world.st/file/t368721/1-GettingFirstEmptyProjFromGit.jpg>

<http://forum.world.st/file/t368721/0-GithubProjectCreation.jpg>





-----
cheers,
Sanjay
--
Sent from: http://forum.world.st/Pharo-Smalltalk-Users-f1310670.html

 

 

Reply | Threaded
Open this post in threaded view
|

Re: FW: [Pharo-users] Label truncation in new Pharo 8.0 64-bit (stable)

Sven Van Caekenberghe-2
Works for me (this font is larger than the default one). macOS, Pharo 9 64bit



On 19 Apr 2020, at 06:05, Shaping <[hidden email]> wrote:

Can anyone suggest a fix for the truncated labels shown below in the screenshot of the Setting window?  This happens in the Git client too.
 
Will Pharo tools be rewritten in Spec2, and does its formatting scheme solve generally the text-formatting problem, as font size is changed?
 
Why don’t we opt for easy elastic rendering of GUIs by implementing Pharo as a web app?  Has this been discussed?  Willow is looking very good.
 
 
Shaping
From: Pharo-users [[hidden email]] On Behalf Of Shaping
Sent: Saturday, 18 April, 2020 04:16
To: 'Any question about pharo is welcome' <[hidden email]>; 'Pharo Development List' <[hidden email]>
Subject: [Pharo-users] Label truncation in new Pharo 8.0 64-bit (stable)
 
Hi everyone.
 
Below is a Pharo 8.0 64-bit (stable) image (installed with the new Launcher 2.0) with two changes:
 
-Light theme selected.
-FiraCode 11 chosen as the default font.
 
 
<image001.png>
 
Truncated labels in the GUI on font change has always been a problem.  Am I the only one experiencing this?  
 
 
Shaping
From: Pharo-users [[hidden email]] On Behalf Of Sanjay Minni
Sent: Friday, 17 April, 2020 11:05
To: Any question about pharo is welcome <[hidden email]>
Subject: Re: [Pharo-users] issues in setting up a new project on Github/Iceberg
 
Thanks tried just https and this worked too
I suppose once cloned it does not really matter whether it was done using "clone from github.com" or "clone remote repository"
---
Sanjay Minni
+91-9900-902902
 
 
On Fri, 17 Apr 2020 at 19:43, Guillermo Polito <[hidden email]> wrote:
Hi,
 

El 17 abr 2020, a las 15:30, Sanjay Minni <[hidden email]> escribió:
 
Hi Guillermo,
 
Ok then given your comments - right now got it working  as such
  - initially created as private in Github
  - changed to public
  - created clone from github
  - (did a repair repository (dont know why)  and created "src" and designated it as source folder)
  - did a commit and push
  - changed repository back to private
seems to work
   
can you give an example on how the "Remote URL" field is to be filled up - note its not taking HTTP as i am not sure about the syntax, assume SSH, Github, MyName, MyRepository, 
will try that as well
 
you should be able to use the URLs provided by the clone buttons in Github/gitlab/bitbucket, both https and ssh.
 
<image004.png>
 

 
note Just for Info to other users: 
I am using Windows 10, it seems to have SSH tools inbuilt and was able to use ssh (with passphrase) without hiccup, by putting my key files path in pharo setting-> ...-> use custom SSH keys, and uploading the .pub key in Github
 
:)
 
Thanks
 

---
Sanjay Minni
+91-9900-902902
 
 
On Fri, 17 Apr 2020 at 18:36, Guillermo Polito <[hidden email]> wrote:
Hi Sanjay,
 
This is a bug in Iceberg github integration that tries to access the repository to get metadata using Github REST API using anonymous access apparently.
And since your project is private, this fails.
 
As a workaroung, I suggest you to clone using the last option that requires an url only:
 
<PastedGraphic-3.png>
 
This option will not use the Github API, so you should find no problems.
 
I’m planning doing an Iceberg sprint and fix many issues in the coming weeks.
(Also if somebody wants to join, this is an open call :))
Guille
 

El 17 abr 2020, a las 12:49, Sanjay Minni <[hidden email]> escribió:
 
Using Pharo 8 64 bit on Windows 10

I am trying to setup a new project on Github using Iceberg following the
document  "Manage your code with Iceberg dtd 25 March 2019)

After creating the project in github when I try to clone from Github as (I
am at doc item1.4) The system throws an error and the project does not
appear in iceberg although the files are downloaded. This happen in both
cases whether I use HTTP or SSH  

What is going wrong ?

also: assuming the clone is made, as per next item in doc 1.5, the directory
"src" is created after the clone is made. is that correct ?... then how will
the packages sources be mapped to ..\src 


<http://forum.world.st/file/t368721/1-GettingFirstEmptyProjFromGit.jpg> 

<http://forum.world.st/file/t368721/0-GithubProjectCreation.jpg> 





-----
cheers, 
Sanjay
--
Sent from: http://forum.world.st/Pharo-Smalltalk-Users-f1310670.html


Reply | Threaded
Open this post in threaded view
|

Re: FW: [Pharo-users] Label truncation in new Pharo 8.0 64-bit (stable)

Shaping1
On 2020-04-19 03:01, Sven Van Caekenberghe wrote:
Works for me (this font is larger than the default one). macOS, Pharo
9 64bit
The screenshot below is taken on Windows 10 Pro.  This time I did not change the theme.  I did also update the fonts listed in the dialog before choosing FiraCode.  The labels are still truncated.  This is another new Pharo 8 64-bit (stable) with only the font changed.  Why would formatting not work on Windows 10?
Can any Windows 10 Pharo users verify this problem?


On 19 Apr 2020, at 06:05, Shaping <[hidden email]> wrote:

Can anyone suggest a fix for the truncated labels shown below in the
screenshot of the Setting window?  This happens in the Git client
too.

Will Pharo tools be rewritten in Spec2, and does its formatting
scheme solve generally the text-formatting problem, as font size is
changed?

Why don’t we opt for easy elastic rendering of GUIs by
implementing Pharo as a web app?  Has this been discussed?  Willow
is looking very good.

Shaping
From: Pharo-users [mailto:[hidden email]] On
Behalf Of Shaping
Sent: Saturday, 18 April, 2020 04:16
To: 'Any question about pharo is welcome'
<[hidden email]>; 'Pharo Development List'
<[hidden email]>
Subject: [Pharo-users] Label truncation in new Pharo 8.0 64-bit
(stable)

Hi everyone.

Below is a Pharo 8.0 64-bit (stable) image (installed with the new
Launcher 2.0) with two changes:

-Light theme selected.
-FiraCode 11 chosen as the default font.

<image001.png>

Truncated labels in the GUI on font change has always been a
problem.  Am I the only one experiencing this?

Shaping
From: Pharo-users [mailto:[hidden email]] On
Behalf Of Sanjay Minni
Sent: Friday, 17 April, 2020 11:05
To: Any question about pharo is welcome
<[hidden email]>
Subject: Re: [Pharo-users] issues in setting up a new project on
Github/Iceberg

Thanks tried just https and this worked too
I suppose once cloned it does not really matter whether it was done
using "clone from github.com" or "clone remote repository"
---
Sanjay Minni
+91-9900-902902

On Fri, 17 Apr 2020 at 19:43, Guillermo Polito
<[hidden email]> wrote:
Hi,

El 17 abr 2020, a las 15:30, Sanjay Minni <[hidden email]>
escribió:

Hi Guillermo,

Ok then given your comments - right now got it working  as such
- initially created as private in Github
- changed to public
- created clone from github
- (did a repair repository (dont know why)  and created "src" and
designated it as source folder)
- did a commit and push
- changed repository back to private
seems to work

can you give an example on how the "Remote URL" field is to be
filled up - note its not taking HTTP as i am not sure about the
syntax, assume SSH, Github, MyName, MyRepository,
will try that as well

you should be able to use the URLs provided by the clone buttons in
Github/gitlab/bitbucket, both https and ssh.

<image004.png>

note Just for Info to other users:
I am using Windows 10, it seems to have SSH tools inbuilt and was
able to use ssh (with passphrase) without hiccup, by putting my key
files path in pharo setting-> ...-> use custom SSH keys, and
uploading the .pub key in Github

:)

Thanks

---
Sanjay Minni
+91-9900-902902

On Fri, 17 Apr 2020 at 18:36, Guillermo Polito
<[hidden email]> wrote:
Hi Sanjay,

This is a bug in Iceberg github integration that tries to access the
repository to get metadata using Github REST API using anonymous
access apparently.
And since your project is private, this fails.

As a workaroung, I suggest you to clone using the last option that
requires an url only:

<PastedGraphic-3.png>

This option will not use the Github API, so you should find no
problems.

I’m planning doing an Iceberg sprint and fix many issues in the
coming weeks.
(Also if somebody wants to join, this is an open call :))
Guille

El 17 abr 2020, a las 12:49, Sanjay Minni <[hidden email]>
escribió:

Using Pharo 8 64 bit on Windows 10

I am trying to setup a new project on Github using Iceberg following
the
document  "Manage your code with Iceberg dtd 25 March 2019)

After creating the project in github when I try to clone from Github
as (I
am at doc item1.4) The system throws an error and the project does
not
appear in iceberg although the files are downloaded. This happen in
both
cases whether I use HTTP or SSH

What is going wrong ?

also: assuming the clone is made, as per next item in doc 1.5, the
directory
"src" is created after the clone is made. is that correct ?... then
how will
the packages sources be mapped to ..\src

<http://forum.world.st/file/t368721/1-GettingFirstEmptyProjFromGit.jpg>


<http://forum.world.st/file/t368721/0-GithubProjectCreation.jpg>

-----
cheers,
Sanjay
--
Sent from: http://forum.world.st/Pharo-Smalltalk-Users-f1310670.html