Browse Source

GNU Texinfo latest version: 6.7 -> 6.8

primary
CismonX 2 months ago
parent
commit
1707ece4bc
Signed by: CismonX GPG Key ID: 3094873E29A482FB
  1. 4
      src/indicator.ts

4
src/indicator.ts

@ -88,10 +88,10 @@ export default class Indicator implements vscode.Disposable
let tooltip = '', icon: string, version = '';
if (result && result[1]) {
version = result[1];
if (!isNaN(+version) && +version < 6.7) {
if (!isNaN(+version) && +version < 6.8) {
icon = '$(warning)';
tooltip = `GNU Texinfo (${options.makeinfo}) ` +
`is outdated (${version} < 6.7).`;
`is outdated (${version} < 6.8).`;
} else {
// Unrecognizable version. Assume it is okay.
icon = '$(check)';

Loading…
Cancel
Save