home.social

#gnometexteditor — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #gnometexteditor, aggregated by home.social.

  1. Un truc remarqué dans #Gnome récemment, c'est plus si c'est avec la 49 ou avec la 50 :

    il ne semble plus être possible de faire un glisser / déposer dans le dialogue d'ouverture de fichier pour ouvrir le fichier qui a été glisser/déposer depuis #Nautilus par exemple.

    Ça ne fonctionne plus sur #GnomeTextEditor, #Showtime, sans doute d'autres.

    Ça fonctionne par contre sur #blender, #Inkscape (mais ce n'est pas le dialogue d'ouverture gtk4 me semble-t-il).

  2. #gtksourceview have hotkeys for multiline move-up-down/ident/delete/duplicate, but not

    1. multiline copy/paste
    2. multiline comment
    3. mark/jump
    4. highlight all current word
    5. fold function

    These basic editing functions should not be implemented by plugins. And there are currently no corresponding plugins available.

    `A text editor widget for code editing` <---- target in gitlab.

    #gnometexteditor #gnome #gtksourceview #gtk

  3. #gtksourceview have hotkeys for multiline move-up-down/ident/delete/duplicate, but not

    1. multiline copy/paste
    2. multiline comment
    3. mark/jump
    4. highlight all current word
    5. fold function

    These basic editing functions should not be implemented by plugins. And there are currently no corresponding plugins available.

    `A text editor widget for code editing` <---- target in gitlab.

    #gnometexteditor #gnome #gtksourceview #gtk