Skip to main content
summaryrefslogtreecommitdiffstats
path: root/org.eclipse.tips.ide/src/org
AgeCommit message (Expand)AuthorFilesLines
2018-06-17Bug 535975 - [Tips] Minor refactoringI20180618-0800Michael Keppler5-8/+9
2018-06-17Bug 535942 - Make tips startup job a system jobMichael Keppler1-0/+1
2018-06-08Bug 535442 - [Tips] Add Code completion tips to JDT tipsI20180613-0440I20180613-0300Wim Jongman1-1/+6
2018-06-06Bug 535566: [Tips] Tips should consider different UX then startup dialogI20180607-2000Wim Jongman1-0/+20
2018-06-05Bug 535533: [Tips] Do not start tips if in test modeI20180606-1020Wim Jongman1-1/+1
2018-06-04Bug 535437 - [Tips] Run cleanup actions to tips and enhance save actionsLars Vogel1-1/+2
2018-06-01Bug 535391 - [Tips] Do not open tips on startup if there are no new tipsI20180601-0915I20180601-0900Wim Jongman3-11/+41
2018-05-28Bug 535155: [Tips] Tips dialog looks rather uglyWim Jongman1-5/+0
2018-05-27Bug 534989: [Tips] Reduce tips about tipsWim Jongman4-138/+7
2018-05-22Bug 534890: [Tips] Tips window aligned to top of screen and..S4_8_0_RC2I20180527-2250I20180527-2000I20180527-0800I20180526-1500I20180526-0800I20180525-2000I20180524-0900I20180523-2000I20180523-0800Wim Jongman3-3/+28
2018-05-21Bug 534921: [Tips] Add Twitter tips to IDE bundleI20180522-2000Wim Jongman2-0/+150
2018-05-21Bug 534376: [Tips] (fetch) job runs even if I have disabled tipsI20180521-2000Wim Jongman5-32/+62
2018-05-11Bug 534595: [Tips] Create tips for tipsI20180511-2000Wim Jongman8-0/+583
2018-05-11Bug 534178: [Tips] Tip deploy jobWim Jongman1-41/+3
2018-04-30Bug 532012: [Tips] NLS SupportWim Jongman7-52/+113
2018-04-29Bug 534073: [Tips] Create JSon based Tip Provider for PlatformI20180430-0715I20180429-2000Wim Jongman4-37/+123
2018-04-26Bug 534073: [Tips] Create JSon based Tip Provider for PlatformWim Jongman3-25/+98
2018-04-25Bug 534050: [Tips] Save read state to preferencesI20180426-2000I20180426-0500I20180425-2000I20180425-1705I20180425-1650I20180425-1455Wim Jongman2-14/+35
2018-04-05Bug 531792: [Tips] API cleanupI20180417-2000I20180416-2000I20180416-0305I20180415-2000I20180414-1500I20180413-2000I20180412-2000I20180411-2000I20180411-0735I20180411-0530I20180410-2000I20180409-2000I20180408-2000I20180407-1500I20180406-2000I20180405-2000Wim Jongman1-3/+0
2018-04-03Bug 531792: [Tips] API cleanupWim Jongman5-18/+100
2018-03-26Bug 531792: [Tips] API cleanupI20180327-2000I20180327-0805Wim Jongman2-4/+6
2018-02-28Bug 307889 - [Intro] having "tip of the day" functionalityI20180228-2000Wim Jongman8-0/+643

    Back to the top