|
39 | 39 | "associatedconstant",
|
40 | 40 | "union"];
|
41 | 41 |
|
| 42 | + // On the search screen, so you remain on the last tab you opened. |
| 43 | + // |
| 44 | + // 0 for "Types/modules" |
| 45 | + // 1 for "As parameters" |
| 46 | + // 2 for "As return value" |
| 47 | + var currentTab = 0; |
| 48 | + |
42 | 49 | function hasClass(elem, className) {
|
43 | 50 | if (elem && className && elem.className) {
|
44 | 51 | var elemClass = elem.className;
|
|
758 | 765 |
|
759 | 766 | var output = '';
|
760 | 767 | if (array.length > 0) {
|
761 |
| - output = `<table class="search-results"${extraStyle}>`; |
| 768 | + output = '<table class="search-results"' + extraStyle + '>'; |
762 | 769 | var shown = [];
|
763 | 770 |
|
764 | 771 | array.forEach(function(item) {
|
|
812 | 819 | });
|
813 | 820 | output += '</table>';
|
814 | 821 | } else {
|
815 |
| - output = `<div class="search-failed"${extraStyle}>No results :(<br/>` + |
| 822 | + output = '<div class="search-failed"' + extraStyle + '>No results :(<br/>' + |
816 | 823 | 'Try on <a href="https://duckduckgo.com/?q=' +
|
817 | 824 | encodeURIComponent('rust ' + query.query) +
|
818 | 825 | '">DuckDuckGo</a>?</div>';
|
819 | 826 | }
|
820 | 827 | return output;
|
821 | 828 | }
|
822 | 829 |
|
| 830 | + function makeTabHeader(tabNb, text) { |
| 831 | + if (currentTab === tabNb) { |
| 832 | + return '<div class="selected">' + text + '</div>'; |
| 833 | + } |
| 834 | + return '<div>' + text + '</div>'; |
| 835 | + } |
| 836 | + |
823 | 837 | function showResults(results) {
|
824 | 838 | var output, query = getQuery();
|
825 | 839 |
|
826 | 840 | currentResults = query.id;
|
827 | 841 | output = '<h1>Results for ' + escape(query.query) +
|
828 | 842 | (query.type ? ' (type: ' + escape(query.type) + ')' : '') + '</h1>' +
|
829 | 843 | '<div id="titles">' +
|
830 |
| - '<div class="selected">Types/modules</div>' + |
831 |
| - '<div>As parameters</div>' + |
832 |
| - '<div>As return value</div></div><div id="results">'; |
| 844 | + makeTabHeader(0, "Types/modules") + |
| 845 | + makeTabHeader(1, "As parameters") + |
| 846 | + makeTabHeader(2, "As return value") + |
| 847 | + '</div><div id="results">'; |
833 | 848 |
|
834 | 849 | output += addTab(results['others'], query);
|
835 | 850 | output += addTab(results['in_args'], query, false);
|
|
1405 | 1420 |
|
1406 | 1421 | // In the search display, allows to switch between tabs.
|
1407 | 1422 | function printTab(nb) {
|
| 1423 | + if (nb === 0 || nb === 1 || nb === 2) { |
| 1424 | + currentTab = nb; |
| 1425 | + } |
1408 | 1426 | var nb_copy = nb;
|
1409 | 1427 | onEach(document.getElementById('titles').childNodes, function(elem) {
|
1410 | 1428 | if (nb_copy === 0) {
|
|
0 commit comments