Howdy, Stranger!

It looks like you're new here. If you want to get involved, click one of these buttons!

Sign In Register

Quick Links

Categories

Supported by

gnome-icon-theme-full package not available for resolving the missing icons in OpenSesame (Linux)?

boyaoboyao
in OpenSesame

Hi there,

This is more of a linux problem. Sorry if it is not appropriate to ask for help here.

My OpenSesame on Linux Mint is missing icons (particularly in the overview window).

I have gnome-icon-theme installed and some others. The OS website says I would need gnome-icon-theme-full package which appears to be no longer available for ubuntu. I tried to find if this package was maintained by third-party repositories but with no luck.

I wonder if there is any other way to resolve the icon problem? I read in an old post here that one may change the theme settings under preferences but I couldn't find anything in my OpenSesame.

Many thanks,

Bo

Comments

  • sebastiaansebastiaan

    Hi @boyao ,

    I'm guessing you installed OpenSesame from source then, right? In that case, the icon theme is not included. (It is included if you, for example, install it from a repository.) I quickly uploaded a .zip file with the icons below. You need to extract them into opensesame_resources/theme/default .

    Hope this helps!

    — Sebastiaan


    SigmundAI
    Check out SigmundAI.eu for our OpenSesame AI assistant!

  • boyaoboyao

    Hi Sebastiaan,

    Thank you very much for a quick reply!

    I did install OpenSesame from the ppa repository.

    I can find the icon folders in /user/share/opensesame_resources/theme/default.

    The icons in the leftside menu are fine. Icons on the top menu bar and in Overview are not displayed.

    image.png

    I am on Linux Mint 20.2.

    Perhaps I should try the Anaconda version?

    Thanks!

    Bo

  • sebastiaansebastiaan

    Hi @boyao ,

    I'm not familiar with Linux Mint directly, but I mainly use Ubuntu myself and installing from a PPA there generally works flawlessly.

    I suspect (but it's just a suspicion) that there is an issue with different installations of OpenSesame that conflict with each other. Did you try to install OpenSesame through pip before deciding to use the PPA instead? That could have messed up things.

    If you go to Menu -> Tools -> Plug-in and extension manager, you can see where the various components are installed. In your case, that should be in /usr/share/opensesame_extensions , etc. and not in some subfolder of your home folder (which is where pip would put them).

    Perhaps I should try the Anaconda version?

    That's also a good option!

    -- Sebastiaan


    SigmundAI
    Check out SigmundAI.eu for our OpenSesame AI assistant!

  • boyaoboyao

    Hi Seb,

    Thanks for the advice!

    I didn't install it via pip so everything is in `/user/share/opensesame_xxxxxxxx` as expected.

    Maybe there is something weird about Mint Cinnamon.

    But I can confirm that the Anaconda version works perfectly.

    Thanks again!

    Bo

Sign In or Register to comment.
Sebastiaan Mathôt » v2.0.18 » Copyright 2011 — 2019 » Vanilla flavored » License

agen judi bola , sportbook, casino, togel, number game, singapore, tangkas, basket, slot, poker, dominoqq, agen bola. Semua permainan bisa dimainkan hanya dengan 1 ID. minimal deposit 50.000 ,- bonus cashback hingga 10% , diskon togel hingga 66% bisa bermain di android dan IOS kapanpun dan dimana pun. poker , bandarq , aduq, domino qq , dominobet. Semua permainan bisa dimainkan hanya dengan 1 ID. minimal deposit 10.000 ,- bonus turnover 0.5% dan bonus referral 20%. Bonus - bonus yang dihadirkan bisa terbilang cukup tinggi dan memuaskan, anda hanya perlu memasang pada situs yang memberikan bursa pasaran terbaik yaitu http://45.77.173.118/ Bola168. Situs penyedia segala jenis permainan poker online kini semakin banyak ditemukan di Internet, salah satunya TahunQQ merupakan situs Agen Judi Domino66 Dan BandarQ Terpercaya yang mampu memberikan banyak provit bagi bettornya. Permainan Yang Di Sediakan Dewi365 Juga sangat banyak Dan menarik dan Peluang untuk memenangkan Taruhan Judi online ini juga sangat mudah . Mainkan Segera Taruhan Sportbook anda bersama Agen Judi Bola Bersama Dewi365 Kemenangan Anda Berapa pun akan Terbayarkan. Tersedia 9 macam permainan seru yang bisa kamu mainkan hanya di dalam 1 ID saja. Permainan seru yang tersedia seperti Poker, Domino QQ Dan juga BandarQ Online. Semuanya tersedia lengkap hanya di ABGQQ. Situs ABGQQ sangat mudah dimenangkan, kamu juga akan mendapatkan mega bonus dan setiap pemain berhak mendapatkan cashback mingguan. ABGQQ juga telah diakui sebagai Bandar Domino Online yang menjamin sistem FAIR PLAY disetiap permainan yang bisa dimainkan dengan deposit minimal hanya Rp.25.000. DEWI365 adalah Bandar Judi Bola Terpercaya & resmi dan terpercaya di indonesia. Situs judi bola ini menyediakan fasilitas bagi anda untuk dapat bermain memainkan permainan judi bola. Didalam situs ini memiliki berbagai permainan taruhan bola terlengkap seperti Sbobet, yang membuat DEWI365 menjadi situs judi bola terbaik dan terpercaya di Indonesia. Tentunya sebagai situs yang bertugas sebagai Bandar Poker Online pastinya akan berusaha untuk menjaga semua informasi dan keamanan yang terdapat di POKERQQ13. Kotakqq adalah situs Judi Poker Online Terpercayayang menyediakan 9 jenis permainan sakong online, dominoqq, domino99, bandarq, bandar ceme, aduq, poker online, bandar poker, balak66, perang baccarat, dan capsa susun. Dengan minimal deposit withdraw 15.000 Anda sudah bisa memainkan semua permaina pkv games di situs kami. Jackpot besar,Win rate tinggi, Fair play, PKV Games