/*
* # cp -s ~/.local/share/gnome-shell/extensions/archicon@amuchamu.gmail.com/archlinux-logo.svg /usr/share/icons/gnome/scalable/places
* # gtk-update-icon-cache /usr/share/icons/gnome
* restart gnome-shell: alt+f2, r
*/
const St = imports.gi.St;
const Main = imports.ui.main;
function main() {
hotCornerButton = Main.panel.button;
let logo = new St.Icon({ icon_type: St.IconType.FULLCOLOR,
icon_size: hotCornerButton.height,
icon_name: 'archlinux-logo' });
let label = new St.Label({ text: " Archlinux" });
let box = new St.BoxLayout();
box.add_actor(logo);
box.add_actor(label);
Main.panel.button.set_child(box);
}