Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision |
fr:midori:faq [2015/07/04 19:34] – [Serveurs mandataires (Proxy)] shunesburg69 | fr:midori:faq [2015/07/04 19:45] (current) – [Architecture de Midori] shunesburg69 |
---|
Enable the Shortcuts extension Tools → Extensions. To edit a keybinding Tools → Customize Shortcuts... | Enable the Shortcuts extension Tools → Extensions. To edit a keybinding Tools → Customize Shortcuts... |
| |
=== Using Find === | === Utilisation de l’outil de recherche === |
| |
Default shortcuts for Find are: | Les raccourcis par défaut pour la Recherche sont : |
| |
Find: Ctrl+f "/" and ","\\ | Rechercher : Ctrl+f "/" et ","\\ |
FindNext: Ctrl+g and Enter\\ | Recherche suivante : Ctrl+g et Enter\\ |
FindPrevious: Shift+Ctrl+g\\ | Recherche précédente : Shift+Ctrl+g\\ |
| |
Dismissing Find: | Dismissing Find: |
====== Architecture de Midori ====== | ====== Architecture de Midori ====== |
| |
Midori stands on the shoulders of three giants in particular: the software libraries [[http://www.gtk.org/|GTK+]], [[http://webkitgtk.org/|WebKitGTK+]], and [[https://developer.gnome.org/libsoup/|libsoup]]. GTK+ provides the buttons, windows and menus, WebKitGTK+ draws and controls web pages, and libsoup downloads those pages. | Midori repose sur les épaules de trois géants en particulier : Les librairies de logiciels [[http://www.gtk.org/|GTK+]], [[http://webkitgtk.org/|WebKitGTK+]], et [[https://developer.gnome.org/libsoup/|libsoup]]. GTK+ génère les boutons, les fenêtres et les menus, WebKitGTK+ dessine et gère les pages web, et libsoup télécharge ses pages. |
| |
WebKitGTK+ itself uses two other important libraries: [[https://www.webkit.org/projects/javascript/index.html|JavaScriptCore]], a WebKit project which runs scripts on web pages; and [[http://gstreamer.freedesktop.org/|GStreamer]], which plays HTML5 video and audio. | WebKitGTK+ lui-même utilise deux autres librairies importantes: [[https://www.webkit.org/projects/javascript/index.html|JavaScriptCore]], un projet de Kit Web qui lance les scripts des pages web; et [[http://gstreamer.freedesktop.org/|GStreamer]], qui joue les vidéos et l'audio HTML5. |
===== WebKit Version Numbers ===== | ===== WebKit Version Numbers ===== |
| |