octave-bug-tracker
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Octave-bug-tracker] [bug #53303] Double click in octave file explorer d

From: anonymous
Subject: [Octave-bug-tracker] [bug #53303] Double click in octave file explorer doesn't work in address@hidden
Date: Thu, 8 Mar 2018 07:21:24 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:58.0) Gecko/20100101 Firefox/58.0 
URL:
  <http://savannah.gnu.org/bugs/?53303>

                 Summary: Double click in octave file explorer doesn't work in
address@hidden
                 Project: GNU Octave
            Submitted by: None
            Submitted on: Thu 08 Mar 2018 12:21:22 PM UTC
                Category: GUI
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: None
                  Status: None
             Assigned to: None
         Originator Name: Javier Domingo Cansino
        Originator Email: address@hidden
             Open/Closed: Open
         Discussion Lock: Any
                 Release: 4.2.1
        Operating System: GNU/Linux

    _______________________________________________________

Details:

So I thought it wasn't implemented, but looking at other bugs it seems this
one is a different one.

When double clicking on a file in the Octave file explorer, nothing happens.
Formats to be open with Octave are configured.

There is however some output in the journal everytime I click there, no idea
if it's relevant though:

mar 08 12:16:21 theoden gnome-shell[1257]: Object Shell.GenericContainer
(0x555584b2b850), has been already finalized. Impossible to get any property
from it.
mar 08 12:16:21 theoden gnome-shell[1257]: Object Shell.GenericContainer
(0x555584b2b850), has been already finalized. Impossible to set any property
to it.
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: == Stack trace for
context 0x55557a8e9170 ==
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #0 0x7ffdd717fa80 I  
resource:///org/gnome/shell/ui/tweener.js:73 (0x7f4f7c0ddef0 @ 9)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #1 0x7ffdd717fb20 b  
resource:///org/gnome/shell/ui/tweener.js:105 (0x7f4f7c0df230 @ 36)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #2 0x7ffdd717fbc0 b  
resource:///org/gnome/shell/ui/tweener.js:92 (0x7f4f7c0df098 @ 52)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #3 0x7ffdd7180760 I  
resource:///org/gnome/gjs/modules/tweener/tweener.js:203 (0x7f4f7c0e9cd0 @
54)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #4 0x7ffdd71808b0 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:332 (0x7f4f7c0e9d58 @
1626)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #5 0x7ffdd7180960 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:345 (0x7f4f7c0e9de0 @
100)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #6 0x7ffdd71809f0 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:360 (0x7f4f7c0e9e68 @
10)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #7 0x7ffdd7180a80 I  
resource:///org/gnome/gjs/modules/signals.js:126 (0x7f4f7c0e2b38 @ 386)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #8 0x7ffdd7180b30 b  
resource:///org/gnome/shell/ui/tweener.js:208 (0x7f4f7c0df808 @ 159)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #9 0x7ffdd7180b90 I  
resource:///org/gnome/gjs/modules/_legacy.js:82 (0x7f4f7c0c2bc0 @ 71)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #10 0x7ffdd7180b90 I  
resource:///org/gnome/shell/ui/tweener.js:183 (0x7f4f7c0df780 @ 20)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #11 0x7ffdd7180c20 I  
self-hosted:917 (0x7f4f7c0ee5e8 @ 394)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: == Stack trace for
context 0x55557a8e9170 ==
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #0 0x7ffdd717fa80 I  
resource:///org/gnome/shell/ui/tweener.js:80 (0x7f4f7c0ddef0 @ 82)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #1 0x7ffdd717fb20 b  
resource:///org/gnome/shell/ui/tweener.js:105 (0x7f4f7c0df230 @ 36)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #2 0x7ffdd717fbc0 b  
resource:///org/gnome/shell/ui/tweener.js:92 (0x7f4f7c0df098 @ 52)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #3 0x7ffdd7180760 I  
resource:///org/gnome/gjs/modules/tweener/tweener.js:203 (0x7f4f7c0e9cd0 @
54)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #4 0x7ffdd71808b0 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:332 (0x7f4f7c0e9d58 @
1626)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #5 0x7ffdd7180960 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:345 (0x7f4f7c0e9de0 @
100)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #6 0x7ffdd71809f0 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:360 (0x7f4f7c0e9e68 @
10)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #7 0x7ffdd7180a80 I  
resource:///org/gnome/gjs/modules/signals.js:126 (0x7f4f7c0e2b38 @ 386)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #8 0x7ffdd7180b30 b  
resource:///org/gnome/shell/ui/tweener.js:208 (0x7f4f7c0df808 @ 159)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #9 0x7ffdd7180b90 I  
resource:///org/gnome/gjs/modules/_legacy.js:82 (0x7f4f7c0c2bc0 @ 71)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #10 0x7ffdd7180b90 I  
resource:///org/gnome/shell/ui/tweener.js:183 (0x7f4f7c0df780 @ 20)
mar 08 12:16:21 theoden org.gnome.Shell.desktop[1257]: #11 0x7ffdd7180c20 I  
self-hosted:917 (0x7f4f7c0ee5e8 @ 394)
mar 08 12:16:22 theoden gnome-shell[1257]: Object Shell.GenericContainer
(0x55558387c450), has been already finalized. Impossible to get any property
from it.
mar 08 12:16:22 theoden gnome-shell[1257]: Object Shell.GenericContainer
(0x55558387c450), has been already finalized. Impossible to set any property
to it.
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: == Stack trace for
context 0x55557a8e9170 ==
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #0 0x7ffdd717fa80 I  
resource:///org/gnome/shell/ui/tweener.js:73 (0x7f4f7c0ddef0 @ 9)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #1 0x7ffdd717fb20 b  
resource:///org/gnome/shell/ui/tweener.js:105 (0x7f4f7c0df230 @ 36)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #2 0x7ffdd717fbc0 b  
resource:///org/gnome/shell/ui/tweener.js:92 (0x7f4f7c0df098 @ 52)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #3 0x7ffdd7180760 I  
resource:///org/gnome/gjs/modules/tweener/tweener.js:203 (0x7f4f7c0e9cd0 @
54)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #4 0x7ffdd71808b0 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:332 (0x7f4f7c0e9d58 @
1626)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #5 0x7ffdd7180960 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:345 (0x7f4f7c0e9de0 @
100)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #6 0x7ffdd71809f0 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:360 (0x7f4f7c0e9e68 @
10)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #7 0x7ffdd7180a80 I  
resource:///org/gnome/gjs/modules/signals.js:126 (0x7f4f7c0e2b38 @ 386)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #8 0x7ffdd7180b30 b  
resource:///org/gnome/shell/ui/tweener.js:208 (0x7f4f7c0df808 @ 159)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #9 0x7ffdd7180b90 I  
resource:///org/gnome/gjs/modules/_legacy.js:82 (0x7f4f7c0c2bc0 @ 71)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #10 0x7ffdd7180b90 I  
resource:///org/gnome/shell/ui/tweener.js:183 (0x7f4f7c0df780 @ 20)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #11 0x7ffdd7180c20 I  
self-hosted:917 (0x7f4f7c0ee5e8 @ 394)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: == Stack trace for
context 0x55557a8e9170 ==
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #0 0x7ffdd717fa80 I  
resource:///org/gnome/shell/ui/tweener.js:80 (0x7f4f7c0ddef0 @ 82)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #1 0x7ffdd717fb20 b  
resource:///org/gnome/shell/ui/tweener.js:105 (0x7f4f7c0df230 @ 36)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #2 0x7ffdd717fbc0 b  
resource:///org/gnome/shell/ui/tweener.js:92 (0x7f4f7c0df098 @ 52)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #3 0x7ffdd7180760 I  
resource:///org/gnome/gjs/modules/tweener/tweener.js:203 (0x7f4f7c0e9cd0 @
54)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #4 0x7ffdd71808b0 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:332 (0x7f4f7c0e9d58 @
1626)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #5 0x7ffdd7180960 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:345 (0x7f4f7c0e9de0 @
100)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #6 0x7ffdd71809f0 b  
resource:///org/gnome/gjs/modules/tweener/tweener.js:360 (0x7f4f7c0e9e68 @
10)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #7 0x7ffdd7180a80 I  
resource:///org/gnome/gjs/modules/signals.js:126 (0x7f4f7c0e2b38 @ 386)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #8 0x7ffdd7180b30 b  
resource:///org/gnome/shell/ui/tweener.js:208 (0x7f4f7c0df808 @ 159)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #9 0x7ffdd7180b90 I  
resource:///org/gnome/gjs/modules/_legacy.js:82 (0x7f4f7c0c2bc0 @ 71)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #10 0x7ffdd7180b90 I  
resource:///org/gnome/shell/ui/tweener.js:183 (0x7f4f7c0df780 @ 20)
mar 08 12:16:22 theoden org.gnome.Shell.desktop[1257]: #11 0x7ffdd7180c20 I  
self-hosted:917 (0x7f4f7c0ee5e8 @ 394)





    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?53303>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]