We thought we just throw some thoughts together as we explore using the programming language Vala for potential future development.
Vala is – we understand – a language written initially by GNOME to develop GTK+ applications and interfaces. The Elementary OS developers have embraced this language. Budgie Desktop itself is primarily written in Vala.
Why? It is fairly efficient – compiles to small executables and shared object libraries – and hence reduces memory usage. It is fairly memory safe – in that – whilst C can and will enable you to shoot yourself into your proverbial foot/head – at least Vala will hide the major C intracasies leading to more robust code. Well that’s the claim anyway.
As a team, our profiencies is primarily Python and Go. So exploring Vala is “interesting” – but very slow going since we keep thinking “well we did it this way in python … so why doesnt Vala work in this way”.
Why are we looking at Vala? Well, we do want to understand the underlying components of Budgie Desktop – and hopefully fully understand what could & should be backported to 18.04LTS. Longer term – maybe/hopefully helping upstream in its maintainance.
So we began by looking for tutorials already written. The valadoc website we have found is the best for beginners. The GTK+ kickstart video is really good – essential viewing. The two longer videos on that site are well worth reviewing and bookmarking.
The compile budgie desktop based applets you need to install the package `budgie-core-dev`.
Best steer clear from the upstream “budgie-desktop-examples” repo. We couldn’t get it to compile – probably because it hasn’t been updated to work with budgie-desktop v10.4.x Popovers.
Excellent third-parties, Daniel Pinto and Cybre’s repositories are excellent reference points.
We use cookies on our website to give you the most relevant experience by remembering your preferences and repeat visits. By clicking “Accept”, you consent to the use of ALL the cookies.
This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.
Necessary cookies are absolutely essential for the website to function properly. These cookies ensure basic functionalities and security features of the website, anonymously.
Cookie
Duration
Description
cookielawinfo-checkbox-analytics
11 months
This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Analytics".
cookielawinfo-checkbox-functional
11 months
The cookie is set by GDPR cookie consent to record the user consent for the cookies in the category "Functional".
cookielawinfo-checkbox-necessary
11 months
This cookie is set by GDPR Cookie Consent plugin. The cookies is used to store the user consent for the cookies in the category "Necessary".
cookielawinfo-checkbox-others
11 months
This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Other.
cookielawinfo-checkbox-performance
11 months
This cookie is set by GDPR Cookie Consent plugin. The cookie is used to store the user consent for the cookies in the category "Performance".
viewed_cookie_policy
11 months
The cookie is set by the GDPR Cookie Consent plugin and is used to store whether or not user has consented to the use of cookies. It does not store any personal data.
Functional cookies help to perform certain functionalities like sharing the content of the website on social media platforms, collect feedbacks, and other third-party features.
Performance cookies are used to understand and analyze the key performance indexes of the website which helps in delivering a better user experience for the visitors.
Analytical cookies are used to understand how visitors interact with the website. These cookies help provide information on metrics the number of visitors, bounce rate, traffic source, etc.
Advertisement cookies are used to provide visitors with relevant ads and marketing campaigns. These cookies track visitors across websites and collect information to provide customized ads.