The Jenkins machines are disabled now. I guess it is because of the infrastructure maintenance effort in Inria.
You should update the Glamour packages by hand to see a difference.
Doru
On Wed, Apr 16, 2014 at 8:17 PM, Alexandre Bergel alexandre.bergel@me.comwrote:
I’ve just downloaded the last version and I haven’t spotted any diff. What should I look at?
Alexandre
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;: Alexandre Bergel http://www.bergel.eu ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
On Apr 16, 2014, at 2:15 PM, Tudor Girba tudor@tudorgirba.com wrote:
Hi,
Based on the recent feedback, one thing that I managed to distill is
that people do not see a couple of widgets:
- text/input fields
- drop downs
As a consequence, now I added a thin border around them. I am not
particularly satisfied because it looks ugly when we have also splitters, but please let me know if this helps now.
Doru
-- www.tudorgirba.com
"Every thing has its own flow" _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev