[Pharo-users] Issue on enabling developer options in Pharo Launcher

Sir I have installed the latest version of PharoLauncher on my system (OS : Ubuntu 14.04) Whenever I try to enable the developer option in the settings , I get a warning dialog , in which clicking on Proceed hangs up the application. I have repeated the process twice or thrice , but am stuck at the

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

Jigyasa, Just to check I got these additional details right from our chat on IRC: * you wanted to save PharoLauncher with certain web proxy setting * the Ubuntu 14.04 PharoLauncher package was based on Pharo 3 * you got what you needed using PharoLauncher Pharo 4 So you are fine now. Maybe its s

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-28 11:23 GMT+01:00 Jigyasa Grover : > Sir > I have installed the latest version of PharoLauncher on my system (OS : > Ubuntu 14.04) > Whenever I try to enable the developer option in the settings , I get a > warning dialog , in which clicking on Proceed hangs up the application. > I have r

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

Yes Sir. Thanks for the help -- View this message in context: http://forum.world.st/Issue-on-enabling-developer-options-in-Pharo-Launcher-tp4815732p4815794.html Sent from the Pharo Smalltalk Users mailing list archive at Nabble.com.

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

What is the issue with GTPlayground? Doru On Sat, Mar 28, 2015 at 6:40 PM, Nicolai Hess wrote: > 2015-03-28 11:23 GMT+01:00 Jigyasa Grover : > >> Sir >> I have installed the latest version of PharoLauncher on my system (OS : >> Ubuntu 14.04) >> Whenever I try to enable the developer option in t

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-28 21:27 GMT+01:00 Tudor Girba : > What is the issue with GTPlayground? > 15243 default playground play-cache directory may be read only > > Doru > > On Sat, Mar 28, 2015 at 6:40 PM, Nicolai Hess wrote: > >> 2015-03-28 11:23 GMT+01:00 J

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

hi all, I want to save proxy settings in pharo launcher (as discussed on irc with ben, kilon and jigyasa ) and that's why i initially wanted to enable development environment. But actually I was trying to say that it would be nice if there is some option of saving proxy settings without enabling de

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

Rohit, Would you like to have a go at adding this to PharoLauncher? Currently PharoLauncher filters to show only its own settings. You would need to find how to add the Proxy Settings to the filter. Right click on a Setting to browse to where it is defined. Maybe have a look at how in a new imag

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

2015-03-29 3:10 GMT+02:00 rohit sharma : > hi all, > I want to save proxy settings in pharo launcher (as discussed on irc with > ben, kilon and jigyasa ) and that's why i initially wanted to enable > development environment. > But actually I was trying to say that it would be nice if there is some

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

Ben Coman writes: > Rohit, Would you like to have a go at adding this to PharoLauncher? > Currently PharoLauncher filters to show only its own settings. You would > need to find how to add the Proxy Settings to the filter. the launcher has its proxy settings too now. -- Damien Cassou http:/

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

Hey Damien ! You mean the update of PharoLauncher ? PS - Pls ignore the triviality of my question , I am new to Pharo. Thanks and Regards Jigyasa Grover -- View this message in context: http://forum.world.st/Issue-on-enabling-developer-options-in-Pharo-Launcher-tp4815732p4816395.html Sent fro

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

Hi Jigyasa, Jigyasa Grover writes: > You mean the update of PharoLauncher ? PharoLauncher has had this settings for quite a while now. It's not new. > PS - Pls ignore the triviality of my question , I am new to Pharo. no problem. Ask as many questions as you want. -- Damien Cassou http://d

Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher

hey Damien, before there was a confusion that pharo launcher is not saving proxy settings whenever we close it and we again launch the pharo-launcher we again have to add proxy settings. But the reason for launcher not saving the settings was I was closing the launcher using close button ('X' on to