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 ===== |
| |