MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix typos in tips

Browse Source
This commit is contained in:
Alexander Zolotov
2013-04-03 13:59:51 +04:00
parent 46253255ca
commit c5307680be
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
resources-en/src/tips/FavoritesToolWindow1.html
+1 -1
View File
@@ -3,7 +3,7 @@
<link rel="stylesheet" type="text/css" href="css/tips.css">
</head>
<body>
<p>You want your bookmarks and breakpoints to be always at hand, so that you can easily navigate though them?</p>
<p>You want your bookmarks and breakpoints to be always at hand, so that you can easily navigate through them?</p>
<p>They are visible in the <span class="control">Favorites</span> tool window,
which you can dock or float as required:</p>
<p class="image">